Login / Signup

Comparing the Complexity of Cut-Elimination Methods.

Matthias BaazAlexander Leitsch
Published in: Proof Theory in Computer Science (2001)
Keyphrases
  • machine learning
  • artificial intelligence
  • graphical models
  • vector space