Stefan Bayerl

According to our database1, Stefan Bayerl authored at least 6 papers between 1985 and 1992.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Graph Based Extension of the LILOG Inference Engine
IWBS Report, 1992

SETHEO: A High-Performance Theorem Prover.
J. Autom. Reasoning, 1992

1989
PARTHEO: A Parallel Inference Machine.
Proceedings of the Wissensbasierte Systeme, 1989

1986
An Implementation of a PROLOG-like Theorem Prover based on the Connection Method.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

An Implemented Simulation of a Parallel Theorem Prover.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine.
Proceedings of the GWAI-85, 1985


  Loading...