The Field of Reals is not omega-Automatic.

Faried Abu Zaid Erich Grädel Lukasz Kaiser

Published in: STACS (2012)

Keyphrases

fully automatic
databases
machine learning
data driven
real time
information systems
e learning
video sequences
information technology
semi automatic