Stefan Schwendimann

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Peter Balsiger, Alain Heuerding, Stefan Schwendimann
A Benchmark Method for the Propositional Modal Logics K, KT, S4. J. Autom. Reason. 24 (3) (2000)
Peter Balsiger, Alain Heuerding, Stefan Schwendimann
Logics Workbench 1.0. TABLEAUX (1998)
Stefan Schwendimann
A New One-Pass Tableau Calculus for PLTL. TABLEAUX (1998)
Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
Propositional Logics on the Computer. TABLEAUX (1995)
Alain Heuerding, Stefan Schwendimann
On the Modal Logic K Plus Theories. CSL (1995)