Klaus Mayr

According to our database, Klaus Mayr authored at least 9 papers between 1990 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1997

SETHEO and E-SETHEO - The CADE-13 Systems.

Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr

J. Autom. Reason., 1997

1995

Verfeinerungen und Erweiterungen des Modelleliminationskalküls.

Klaus Mayr

PhD thesis, 1995

Link Deletion in Model Elimination.

Klaus Mayr

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi.

Reinhold Letz, Klaus Mayr, Christoph Goller

J. Autom. Reason., 1994

SETHEO V3.2: Recent Developments - System Abstract.

Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Integrating Antilemma-Constraints into SLD-Resolution.

Klaus Mayr

Proceedings of the 9. Workshop Logische Programmierung, 1993

Refinements and Extensions of Model Elimination.

Klaus Mayr

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

1992

SETHEO II - The System and its Calculi.

Reinhold Letz, Klaus Mayr

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1990

Proof schemata in propositional calculi

Reinhold Letz, Klaus Mayr

Forschungsberichte, TU Munich, 1990