%0 Book Section %1 conf/hcat/Hartmanis00 %A Hartmanis, Juris %B A Half-Century of Automata Theory %D 2000 %E Salomaa, Arto %E Wood, Derick %E Yu, Sheng %I World Scientific %K dblp %P 21-35 %T Undecidability and Incompleteness Results in Automata Theory. %U http://dblp.uni-trier.de/db/conf/hcat/hcat2000.html#Hartmanis00 %@ 981-02-4590-4

@incollection{conf/hcat/Hartmanis00, added-at = {2019-03-05T00:00:00.000+0100}, author = {Hartmanis, Juris}, biburl = {https://www.bibsonomy.org/bibtex/238b2f2e613c25cd486b9c8e8d2fe4961/dblp}, booktitle = {A Half-Century of Automata Theory}, crossref = {conf/hcat/2000}, editor = {Salomaa, Arto and Wood, Derick and Yu, Sheng}, interhash = {d8333c7290492826f4c238ac3ca20c62}, intrahash = {38b2f2e613c25cd486b9c8e8d2fe4961}, isbn = {981-02-4590-4}, keywords = {dblp}, pages = {21-35}, publisher = {World Scientific}, timestamp = {2020-03-20T11:48:35.000+0100}, title = {Undecidability and Incompleteness Results in Automata Theory.}, url = {http://dblp.uni-trier.de/db/conf/hcat/hcat2000.html#Hartmanis00}, year = 2000 }