On the Proof Theory of Program Transformations.

Martin C. Henson

Published in: Log. J. IGPL (1995)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
artificial intelligence
computational properties