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)
Buchbeitrag, Beitrag zu einem Tagungsband

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
Seite(n)/Artikel-Nr.: 577-588

Identifikationsnummern

Downloads