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]
Abstract is missing.