The Field of Reals is not ω-Automatic

Saarbrücken/Wadern / Schloss Dagstuhl - Leibniz-Center for Informatics (2012) [Contribution to a book, Contribution to a conference proceedings]

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
Page(s): 577-588

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-CONV-211654