- 2008
- Claus-Peter Wirth:
Hilbert's epsilon as an operator of indefinite committed choice. J. Appl. Log. 6(3): 287-317 (2008)
- 2005
- Claus-Peter Wirth:
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! Mechanizing Mathematical Reasoning 2005: 192-203 - Serge Autexier
, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth:
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142 - 2004
- Claus-Peter Wirth:
Descente Infinie + Deduction. Log. J. IGPL 12(1): 1-96 (2004) - 2003
- Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth:
How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333 - 2002
- Jörg H. Siekmann, Christoph Benzmüller, 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, Jürgen Zimmer:
Proof Development with OMEGA. CADE 2002: 144-149 - Claus-Peter Wirth:
A New Indefinite Semantics for Hilbert's Epsilon. TABLEAUX 2002: 298-314 - 1999
- Claus-Peter Wirth:
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. TABLEAUX 1999: 293-307 - 1998
- Claus-Peter Wirth:
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. FTP (LNCS Selection) 1998: 282-297 - 1997
- Claus-Peter Wirth:
Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving. University of Kaiserslautern, Kovač 1997, ISBN 3-86064-551-X, pp. 1-246 - Ulrich Kühler, Claus-Peter Wirth:
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. RTA 1997: 38-52 - 1996
- Bernhard Gramlich, Claus-Peter Wirth:
Confluence of Terminating Conditional Rewrite Systems Revisited. RTA 1996: 245-259 - 1994
- Claus-Peter Wirth, Bernhard Gramlich:
A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. J. Symb. Comput. 17(1): 51-90 (1994) - Claus-Peter Wirth, Bernhard Gramlich:
On Notions of Inductive Validity for First-Oder Equational Clauses. CADE 1994: 162-176 - Claus-Peter Wirth, Klaus Becker:
Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS 1994: 353-373 - 1992
- Claus-Peter Wirth, Bernhard Gramlich:
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. CTRS 1992: 198-212