On the expressiveness of real and integer arithmetic automata (extended abstract (0)

by B Boigelot, S Rassart, P Wolper
Venue:In Automata, Languages and Programming, 25th International Colloquium, ICALP’98