Login / Signup
A Sequent Calculus with Implicit Term Representation.
Stefan Hetzl
Published in:
CSL (2010)
Keyphrases
</>
sequent calculus
cut elimination
machine learning
logic programs
modal logic
inference rules
linear logic