Proving Matijasevich's lemma with a default arithmetic strategy
- 1 January 1991
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 7 (3) , 439-446
- https://doi.org/10.1007/bf00249024
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The Proof of Correctness of a Fault-Tolerant Circuit DesignPublished by Springer Nature ,1992