Stefan Bayerl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1985–1989
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | WI | PARTHEO: A Parallel Inference Machine. | Stefan Bayerl, Reinhold Letz, Johann Schumann |
| 1986 | AIMSA | An Implemented Simulation of a Parallel Theorem Prover. | Stefan Bayerl, M. Breu, S. Heilmeier, K. Lichtenwalder |
| 1986 | AIMSA | An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. | Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann |
| 1985 | KI | Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. | K. Aspetsberger, Stefan Bayerl |