Login / Signup
Infinitary Proof Theory: the Multiplicative Additive Case.
David Baelde
Amina Doumane
Alexis Saurin
Published in:
CSL (2016)
Keyphrases
</>
proof theory
machine learning
default reasoning
proof theoretic
special case