On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).

Bernard Boigelot, Stphane Rassart, Pierre Wolper

Browse the full ICALP paper archive.