Alexander Leitsch

Alexander Leitsch

3 books in the database

Books

Automated reasoningAlexander Leitsch

Automated reasoning

Alexander Leitsch · 2001

The Resolution CalculusAlexander Leitsch

The Resolution Calculus

Alexander Leitsch · 2012

Methods of Cut-EliminationAlexander Leitsch

Methods of Cut-Elimination

Alexander Leitsch · 2011