Concepedia

Reinhold Letz

RL

5

Publications

504

Citations

5

H-Index

1987

Active since

Affiliations

Technical University of Munich(Current)

Reinhold Letz is an author at Technical University of Munich specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningVerificationParallel ComputingFormal VerificationComputational Complexity

Publications per year

1987–2001

5

Publications

5

SETHEO: A high-performance theorem prover

Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 235 citations

Computational Complexity Theory, Engineering, Performance Guarantee +6

Controlled integration of the cut rule into connection tableau calculi

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

Connection Tableau Calculi

SETHEO and E-SETHEO - The CADE-13 Systems

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

Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux

Reinhold Letz, Gernot Stenz · 2001 · 17 citations

Disconnection Tableaux, Engineering, Automated Reasoning +9

Bottom-up enhancements of deductive systems

Wolfgang Bibel, Reinhold Letz, J. Schümann · OpenGrey (Institut de l'Information Scientifique et Technique) · 1987 · 17 citations

Computational Logic, Engineering, Deductive Method +5

Rows per page

1–5 of 5