Michael Seyfried

According to our database, Michael Seyfried authored at least 3 papers between 1995 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

A Logics Workbench.

Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried

AI Commun., 1996

Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics.

Alain Heuerding, Michael Seyfried, Heinrich Zimmermann

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

Propositional Logics on the Computer.

Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995