Login / Signup
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).
Bernard Boigelot
Stéphane Rassart
Pierre Wolper
Published in:
ICALP (1998)
Keyphrases
</>
extended abstract
integer arithmetic
expressive power
finite automata