Bchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order.

Arthur Milchior

Browse the full TAMC paper archive.