Travelled to:1 × France
1 × Germany
1 × Ireland
1 × Italy
Collaborated with:J.Schumann G.Stenz ∅ F.J.Kurfess C.Goller K.Mayr
Talks about:theorem (3) prover (3) disconnect (2) tableaux (2) abstract (2) perform (2) system (2) high (2) parallelis (1) implement (1)
Person: Reinhold Letz
DBLP: Letz:Reinhold
Contributed to:
20042001
199819941990Wrote 6 papers:
- IJCAR-2004-LetzS
- Generalised Handling of Variables in Disconnection Tableaux (RL, GS), pp. 289–306.
- IJCAR-2001-LetzS #calculus #named #proving #theorem proving
- DCTP — A Disconnection Calculus Theorem Prover — System Abstract (RL, GS), pp. 381–385.
- CADE-1998-Letz #using
- Using Matings for Pruning Connection Tableaux (RL), pp. 381–396.
- CADE-1994-GollerLMS
- SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.
- CADE-1990-SchumannL #named #parallel #proving #theorem proving
- PARTHEO: A High-Performance Parallel Theorem Prover (JS, RL), pp. 40–56.
- CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial
- Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.