A Proof-Theoretic Characterization of Observational Equivalence.

Published in: Theor. Comput. Sci. (1985)

Keyphrases

proof theoretic
nonmonotonic reasoning
default reasoning
linear logic
constraint logic programming
proof theory
model theoretic
fixpoint
constraint solving
machine learning
cut elimination