Semantics and Proof Theory of Pascal Procedures.

Krzysztof R. Apt J. W. de Bakker

Published in: ICALP (1977)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
learning algorithm
special case
decision procedures
belief revision
nonmonotonic reasoning
logical equivalence