Completeness problems in verification of programs and program schemes
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 208-218
- https://doi.org/10.1007/3-540-09526-8_17
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Mathematical LogicPublished by Springer Nature ,1976
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973
- Aspects of ConstructibilityLecture Notes in Mathematics, 1973