The Field of Reals is not omega-Automatic

(2012) [Beitrag zu einem Tagungsband]

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS~2012

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Zaid, Faried Abu
Grädel, Erich
Kaiser, Lukasz