Alexander Leitsch

Automated Model Building

2004 · ENGLISH · PDF

View details →

Automated Model Building

2004 · ENGLISH · PDF

View details →

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

1996 · ENGLISH · PDF

View details →

The Resolution Calculus

1997 · ENGLISH · PDF

View details →

Methods of Cut-elimination

2011 · ENGLISH · PDF

View details →

Methods of Cut-Elimination

2011 · ENGLISH · PDF

View details →

Methods of Cut-Elimination

2011 · ENGLISH · PDF

View details →

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

2001 · ENGLISH · PDF

View details →

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

1997 · ENGLISH · DJVU

View details →

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

1993 · ENGLISH · DJVU

View details →

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

1996 · ENGLISH · DJVU

View details →

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

1997 · ENGLISH · PDF

View details →