Alain Heuerding

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)
Peter Balsiger, Alain Heuerding
Comparison of Theorem Provers for Modal Logics - Introduction and Summary. TABLEAUX (1998)
Alain Heuerding
LWBtheory: Information about some Propositional Logics via the WWW. Log. J. IGPL 5 (1) (1997)
Rajeev Goré, Wolfgang Heinle, Alain Heuerding
Relations Between Propositional Normal Modal Logics: An Overview. J. Log. Comput. 7 (5) (1997)
Alain Heuerding, Michael Seyfried, Heinrich Zimmermann
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. TABLEAUX (1996)
Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried
A Logics Workbench. AI Commun. 9 (2) (1996)
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)