The Field of Reals is not ω-Automatic

Saarbrücken/Wadern / Schloss Dagstuhl - Leibniz-Center for Informatics (2012) [Buchbeitrag, Beitrag zu einem Tagungsband]

29th International Symposium on Theoretical Aspects of Computer Science : STACS '12, February 29th to March 3rd, 2012, Paris, France / ed. by Christoph Dürr; Thomas Wilke

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-211654