- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| j4 |      | Peter Balsiger, Alain Heuerding, Stefan Schwendimann: A Benchmark Method for the Propositional Modal Logics K, KT, S4. J. Autom. Reasoning 24(3): 297-317 (2000) |
| 1998 | ||
| c5 | | Peter Balsiger, Alain Heuerding: Comparison of Theorem Provers for Modal Logics - Introduction and Summary. TABLEAUX 1998: 25-26 |
| c4 | | |
| 1997 | ||
| j3 | | Alain Heuerding: LWBtheory: Information about some Propositional Logics via the WWW. Logic Journal of the IGPL 5(1): 169-174 (1997) |
| j2 | | Rajeev Goré, Wolfgang Heinle, Alain Heuerding: Relations Between Propositional Normal Modal Logics: An Overview. J. Log. Comput. 7(5): 649-658 (1997) |
| 1996 | ||
| j1 | | Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried: A Logics Workbench. AI Commun. 9(2): 53-58 (1996) |
| c3 | | Alain Heuerding, Michael Seyfried, Heinrich Zimmermann: Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. TABLEAUX 1996: 210-225 |
| 1995 | ||
| c2 | | |
| c1 |  | Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried: Propositional Logics on the Computer. TABLEAUX 1995: 310-323 |
| 1 | Peter Balsiger | |
| 2 | Rajeev Goré | |
| 3 | Wolfgang Heinle | |
| 4 | Gerhard Jäger | |
| 5 | Michael Schwendimann | |
| 6 | Stefan Schwendimann | |
| 7 | Michael Seyfried | |
| 8 | Heinrich Zimmermann |
Colors in the list of coauthors
Last update Sat May 25 02:02:56 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page