Login / Signup
Bounds on the Automata Size for Presburger Arithmetic
Felix Klaedtke
Published in:
CoRR (2005)
Keyphrases
</>
presburger arithmetic
lower bound
finite state machines
computational complexity
regular expressions
lower and upper bounds