Login / Signup

Infinitary Proof Theory: the Multiplicative Additive Case.

David BaeldeAmina DoumaneAlexis Saurin
Published in: CSL (2016)
Keyphrases
  • proof theory
  • machine learning
  • default reasoning
  • proof theoretic
  • special case