The Field of Reals is not ω-Automatic

Abu Zaid, Faried (Corresponding author); Grädel, Erich (Corresponding author); Kaiser, Lukasz (Corresponding author)

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

In: 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)/Article-Nr.: 577-588