Login / Signup

On the proof theory of type two functionals based on primitive recursive operations.

David SteinerThomas Strahm
Published in: Math. Log. Q. (2006)
Keyphrases
  • proof theory
  • default reasoning
  • automated reasoning
  • learning algorithm
  • special case
  • proof theoretic