# Stefan Bayerl

According to our database

Collaborative distances:

^{1}, Stefan Bayerl authored at least 6 papers between 1985 and 1992.Collaborative distances:

## 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