Towards a clausal analysis of cut-elimination.

Matthias Baaz Alexander Leitsch

Published in: J. Symb. Comput. (2006)

Keyphrases

artificial intelligence
expert systems
probability distribution