Login / Signup
Cut-Elimination and Quantification in Canonical Systems.
Anna Zamansky
Arnon Avron
Published in:
Stud Logica (2006)
Keyphrases
</>
expert systems
linear logic
cut elimination
knowledge representation
graphical models