Claus-Peter Wirth

	2009
26		Claus-Peter Wirth, Rüdiger Lunde: Writing Positive/Negative-Conditional Equations Conveniently CoRR abs/0902.2975: (2009)
25		Rüdiger Lunde, Claus-Peter Wirth: ASF+ --- eine ASF-aehnliche Spezifikationssprache CoRR abs/0902.2995: (2009)
24		Claus-Peter Wirth: Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? CoRR abs/0902.3294: (2009)
23		Claus-Peter Wirth: Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems CoRR abs/0902.3614: (2009)
22		Claus-Peter Wirth: A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie CoRR abs/0902.3623: (2009)
21		Claus-Peter Wirth: lim+, delta+, and Non-Permutability of beta-Steps CoRR abs/0902.3635: (2009)
20		Volker Mattick, Claus-Peter Wirth: An Algebraic Dexter-Based Hypertext Reference Model CoRR abs/0902.3648: (2009)
19		Claus-Peter Wirth: Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization CoRR abs/0902.3730: (2009)
18		Claus-Peter Wirth: Hilbert's epsilon as an Operator of Indefinite Committed Choice CoRR abs/0902.3749: (2009)
17		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
16		Claus-Peter Wirth: Shallow confluence of conditional term rewriting systems. J. Symb. Comput. 44(1): 60-98 (2009)
	2008
15		Claus-Peter Wirth: Hilbert's epsilon as an operator of indefinite committed choice. J. Applied Logic 6(3): 287-317 (2008)
	2005
14		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
13		Claus-Peter Wirth: History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! Mechanizing Mathematical Reasoning 2005: 192-203
	2004
12		Claus-Peter Wirth: Descente Infinie + Deduction. Logic Journal of the IGPL 12(1): 1-96 (2004)
	2003
11		Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333
	2002
10		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
9		Claus-Peter Wirth: A New Indefinite Semantics for Hilbert's Epsilon. TABLEAUX 2002: 298-314
	1999
8		Claus-Peter Wirth: Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. TABLEAUX 1999: 293-307
	1998
7		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
6		Ulrich Kühler, Claus-Peter Wirth: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. RTA 1997: 38-52
	1996
5		Bernhard Gramlich, Claus-Peter Wirth: Confluence of Terminating Conditional Rewrite Systems Revisited. RTA 1996: 245-259
	1994
4		Claus-Peter Wirth, Bernhard Gramlich: On Notions of Inductive Validity for First-Oder Equational Clauses. CADE 1994: 162-176
3		Claus-Peter Wirth, Klaus Becker: Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS 1994: 353-373
2		Claus-Peter Wirth, Bernhard Gramlich: A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. J. Symb. Comput. 17(1): 51-90 (1994)
	1992
1		Claus-Peter Wirth, Bernhard Gramlich: A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. CTRS 1992: 198-212

Coauthor Index

1	Serge Autexier	[14] [17]
2	Jürgen Avenhaus	[11]
3	Klaus Becker	[3]
4	Christoph Benzmüller (Christoph Benzmueller)	[10] [14] [17]
5	Vladimir Brezhnev	[10]
6	Lassaad Cheikhrouhou	[10]
7	Dominik Dietrich	[14]
8	Armin Fiedler	[10]
9	Andreas Franke	[10]
10	Bernhard Gramlich	[1] [2] [4] [5]
11	Helmut Horacek	[10]
12	Michael Kohlhase	[10]
13	Ulrich Kühler	[6] [11]
14	Rüdiger Lunde	[25] [26]
15	Volker Mattick	[20]
16	Andreas Meier	[10] [14]
17	Erica Melis	[10]
18	Markus Moschner	[10]
19	Immanuel Normann	[10]
20	Martin Pollet	[10]
21	Tobias Schmidt-Samoa	[11]
22	Jörg H. Siekmann	[10] [17]
23	Volker Sorge	[10]
24	Carsten Ullrich	[10]
25	Jürgen Zimmer	[10]

Colors in the list of coauthors