Klaus Ambos-Spies, Edgar Busse. Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. In Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki, editors, Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings. Volume 2731 of Lecture Notes in Computer Science, pages 97-108, Springer, 2003. [doi]
@inproceedings{Ambos-SpiesB03,
title = {Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata},
author = {Klaus Ambos-Spies and Edgar Busse},
year = {2003},
url = {http://link.springer.de/link/service/series/0558/bibs/2731/27310097.htm},
researchr = {https://researchr.org/publication/Ambos-SpiesB03},
cites = {0},
citedby = {0},
pages = {97-108},
booktitle = {Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings},
editor = {Cristian Calude and Michael J. Dinneen and Vincent Vajnovszki},
volume = {2731},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40505-4},
}