Login / Signup

Towards a clausal analysis of cut-elimination.

Matthias BaazAlexander Leitsch
Published in: J. Symb. Comput. (2006)
Keyphrases
  • artificial intelligence
  • expert systems
  • probability distribution