dblp.uni-trier.dewww.uni-trier.de

Klaus Mayr Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
7 Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997)
1995
6 Klaus Mayr: Link Deletion in Model Elimination. TABLEAUX 1995: 169-184
1994
5EEChristoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann: SETHEO V3.2: Recent Developments - System Abstract. CADE 1994: 778-782
4 Reinhold Letz, Klaus Mayr, Christoph Goller: Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. J. Autom. Reasoning 13(3): 297-337 (1994)
1993
3EEKlaus Mayr: Refinements and Extensions of Model Elimination. LPAR 1993: 217-228
2 Klaus Mayr: Integrating Antilemma-Constraints into SLD-Resolution. WLP 1993: 69-72
1992
1 Reinhold Letz, Klaus Mayr: SETHEO II - The System and its Calculi. TABLEAUX 1992: 49-51

Coauthor Index

1Christoph Goller [4] [5] [7]
2Ortrun Ibens [7]
3Reinhold Letz [1] [4] [5] [7]
4Max Moser [7]
5Johann Schumann [5] [7]
6Joachim Steinbach [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)