Login / Signup

Cut-Elimination and Quantification in Canonical Systems.

Anna ZamanskyArnon Avron
Published in: Stud Logica (2006)
Keyphrases
  • expert systems
  • linear logic
  • cut elimination
  • knowledge representation
  • graphical models