|
Search the dblp DataBase
Stefan Schwendimann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alain Heuerding, Stefan Schwendimann
On the Modal Logic K Plus Theories. [Citation Graph (0, 0)][DBLP] CSL, 1995, pp:308-319 [Conf]
- Peter Balsiger, Alain Heuerding, Stefan Schwendimann
Logics Workbench 1.0. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:35-37 [Conf]
- Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
Propositional Logics on the Computer. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:310-323 [Conf]
- Stefan Schwendimann
A New One-Pass Tableau Calculus for PLTL. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:277-292 [Conf]
- Peter Balsiger, Alain Heuerding, Stefan Schwendimann
A Benchmark Method for the Propositional Modal Logics K, KT, S4. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:3, pp:297-317 [Journal]
Search in 0.001secs, Finished in 0.001secs
|