Proof Theory of Partial Correctness Verification Systems.

Susan L. Gerhart

Published in: SIAM J. Comput. (1976)

Keyphrases

proof theory
default reasoning
expert systems
artificial intelligence
programming language
logic programs
reasoning problems