Stefan Bayerl (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel: SETHEO: A High-Performance Theorem Prover. J. Autom. Reasoning 8(2): 183-212 (1992)

4 Stefan Bayerl, Reinhold Letz, Johann Schumann: PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme 1989: 527-539

2 Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann: An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA 1986: 29-36

Selection of 3 from 6 records - Stefan Bayerl has 10 coauthors

5		Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel: SETHEO: A High-Performance Theorem Prover. J. Autom. Reasoning 8(2): 183-212 (1992)
4		Stefan Bayerl, Reinhold Letz, Johann Schumann: PARTHEO: A Parallel Inference Machine. Wissensbasierte Systeme 1989: 527-539
2		Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann: An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. AIMSA 1986: 29-36