Claus-Peter Wirth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1994–2014
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | KR | David Poole's Specificity Revised. | Claus-Peter Wirth, Frieder Stolzenburg |
| 2003 | CADE | How to Prove Inductive Theorems? QUODLIBET! | Jrgen Avenhaus, Ulrich Khler, Tobias Schmidt-Samoa, Claus-Peter Wirth |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | TABLEAUX | A New Indefinite Semantics for Hilbert's Epsilon. | Claus-Peter Wirth |
| 1999 | TABLEAUX | Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. | Claus-Peter Wirth |
| 1994 | CADE | On Notions of Inductive Validity for First-Oder Equational Clauses. | Claus-Peter Wirth, Bernhard Gramlich |