Stefan Schwendimann

According to our database, Stefan Schwendimann authored at least 5 papers between 1995 and 2000.

Collaborative distances:

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

2000

A Benchmark Method for the Propositional Modal Logics K, KT, S4.

Peter Balsiger, Alain Heuerding, Stefan Schwendimann

J. Autom. Reason., 2000

1998

A New One-Pass Tableau Calculus for PLTL.

Stefan Schwendimann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Logics Workbench 1.0.

Peter Balsiger, Alain Heuerding, Stefan Schwendimann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

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

On the Modal Logic K Plus Theories.

Alain Heuerding, Stefan Schwendimann

Proceedings of the Computer Science Logic, 9th International Workshop, 1995