-Calculus and the Unity of Structural Proof Theory.

José Espírito Santo

Published in: Theory Comput. Syst. (2009)

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
reasoning problems
partial order
decision procedures
learning algorithm
logic programming
np complete