Login / Signup
On the proof theory of type two functionals based on primitive recursive operations.
David Steiner
Thomas Strahm
Published in:
Math. Log. Q. (2006)
Keyphrases
</>
proof theory
default reasoning
automated reasoning
learning algorithm
special case
proof theoretic