- Record: found
- Abstract: not found
- Book Chapter: not found
Trees in Algebra and Programming — CAAP '96
Diophantine equations, Presburger arithmetic and finite automata
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Word problems requiring exponential time(Preliminary Report)
L. J. Stockmeyer, A. R. Meyer (1973)
- Record: found
- Abstract: not found
- Book Chapter: not found
Automata on Infinite Objects
Wolfgang Thomas (1990)
- Record: found
- Abstract: not found
- Article: not found
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
E Contejean, H. Devie (1994)