Diophantine equations, Presburger arithmetic and finite automata

This publication has 6 references indexed in Scilit:

• From Elliott-MacMahon to an algorithm for general linear constraints on naturals
  Published by Springer Nature ,1995
• An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
  Information and Computation, 1994
• Automata on Infinite Objects
  Published by Elsevier ,1990
• An algebraic approach to unification under associativity and commutativity
  Lecture Notes in Computer Science, 1985
• The Computational Complexity of Logical Theories
  Lecture Notes in Mathematics, 1979
• Word problems requiring exponential time(Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1973