|
Search the dblp DataBase
Stefan Bayerl:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder
An Implemented Simulation of a Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP] AIMSA, 1986, pp:21-28 [Conf]
- Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. [Citation Graph (0, 0)][DBLP] AIMSA, 1986, pp:29-36 [Conf]
- K. Aspetsberger, Stefan Bayerl
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. [Citation Graph (0, 0)][DBLP] GWAI, 1985, pp:46-55 [Conf]
- Stefan Bayerl, Reinhold Letz, Johann Schumann
PARTHEO: A Parallel Inference Machine. [Citation Graph (0, 0)][DBLP] Wissensbasierte Systeme, 1989, pp:527-539 [Conf]
- Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
SETHEO: A High-Performance Theorem Prover. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1992, v:8, n:2, pp:183-212 [Journal]
Search in 0.001secs, Finished in 0.001secs
|