Concepedia

Klaus Mayr

KM

2

Publications

235

Citations

2

H-Index

1994

Active since

Affiliations

Technical University of Munich(Current)

Klaus Mayr is an author at Technical University of Munich.

Publications per year

1994–1997

2

Publications

2

Controlled integration of the cut rule into connection tableau calculi

Reinhold Letz, Klaus Mayr, Christoph Goller · Journal of Automated Reasoning · 1994 · 153 citations

SETHEO and E-SETHEO - The CADE-13 Systems

Max Moser, Ortrun Ibens, Reinhold Letz et al. · Journal of Automated Reasoning · 1997 · 82 citations

Rows per page

1–2 of 2