Corrigendum: Soundness and Completeness of an Axiom System for Program Verification
Work
Year: 1981
Type: erratum
Source: SIAM Journal on Computing
Author Stephen Cook
Cites:
Cited by: 16
Related to: 10
Citation percentile (by year/subfield): 86.67
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed