Home Advanced Search

Advanced Search - Page 1

Methods of Cut-elimination
  • PDF
  • English
  • Year: 2011
  • Author: Alexander Leitsch, Matthias Baaz
Methods of cut-elimination
  • PDF
  • English
  • Year: 2011.
  • Author: Matthias Baaz, Alexander Leitsch.
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • PDF
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.)
The Resolution Calculus
  • PDF
  • English
  • Year: 1997
  • Author: Alexander Leitsch
Automated Model Building
  • PDF
  • English
  • Year: 2004
  • Author: Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
  • DJVU
  • English
  • Year: 2005
  • Author: Baaz, Matthias; Friedman, Sy D.; Krajíček, Jan (eds.)
Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
  • DJVU
  • English
  • Year: 2005
  • Author: Matthias Baaz, Sy-David Friedman, Jan Krajícek (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
search