An interpretation-oriented theorem prover over integers

DOI10.1016/S0022-0000(72)80024-2MaRDI QIDQ2555384zbMATH OpenOpenAlexFDO

Authors James C. King, Robert W. Floyd

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

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

Cites work

• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3403724 (Why is no real title available?)
• The decision problem for exponential diophantine equations

This page was built for publication: An interpretation-oriented theorem prover over integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2555384)