Elementary Descent Recursion and Proof Theory.

Harvey Friedman Michael Sheard

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
deductive databases
reasoning problems
nonmonotonic reasoning
belief revision
machine learning
np hard