BibTeX
@inproceedings{DBLP:conf/hcat/Hartmanis00,
author = {Juris Hartmanis},
title = {Undecidability and Incompleteness Results in Automata Theory},
booktitle = {A Half-Century of Automata Theory},
year = {2000},
pages = {21-35},
crossref = {DBLP:conf/hcat/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/hcat/2000,
editor = {Arto Salomaa and
Derick Wood and
Sheng Yu},
title = {A Half-Century of Automata Theory: Celebration and Inspiration},
booktitle = {A Half-Century of Automata Theory},
publisher = {World Scientific},
year = {2000},
isbn = {981-02-4590-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-03-24 by Michael Ley (ley@uni-trier.de)