An interpretation-oriented theorem prover over integers

DOI10.1016/S0022-0000(72)80024-2zbMath0245.68033OpenAlexW1964401374MaRDI QIDQ2555384

Robert W. Floyd, James C. King

Publication date: 1972

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(72)80024-2

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Cites Work

• The decision problem for exponential diophantine equations
• Unnamed Item
• Unnamed Item