Completeness problems in verification of programs and program schemes
Authors:
- 1 January 1979
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 208-218
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Mathematical Logic1976
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973
- Aspects of Constructibility1973