Klaus Mayr

Publication Activity (10 Years)

Years Active: 1990-1997
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reason. 18 (2) (1997)
Klaus Mayr
Link Deletion in Model Elimination. TABLEAUX (1995)
Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann
SETHEO V3.2: Recent Developments - System Abstract. CADE (1994)
Reinhold Letz, Klaus Mayr, Christoph Goller
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. J. Autom. Reason. 13 (3) (1994)
Klaus Mayr
Refinements and Extensions of Model Elimination. LPAR (1993)
Klaus Mayr
Integrating Antilemma-Constraints into SLD-Resolution. WLP (1993)
Reinhold Letz, Klaus Mayr
SETHEO II - The System and its Calculi. TABLEAUX (1992)
Reinhold Letz, Klaus Mayr
Proof schemata in propositional calculi Forschungsberichte, TU Munich (1990)