×

zbMATH — the first resource for mathematics

Wirth, Claus-Peter

Compute Distance To:
Author ID: wirth.claus-peter Recent zbMATH articles by "Wirth, Claus-Peter"
Published as: Wirth, Claus-Peter
External Links: MGP
Documents Indexed: 17 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 36 times in 22 Documents Cited by Year
Descente infinie + deduction. Zbl 1067.03021
Wirth, Claus-Peter
8
2004
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
6
2002
Hilbert’s epsilon as an operator of indefinite committed choice. Zbl 1147.03031
Wirth, Claus-Peter
4
2008
A generic modular data structure for proof attempts alternating on ideas and granularity. Zbl 1151.68628
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Meier, Andreas; Wirth, Claus-Peter
4
2006
A series of revisions of David Poole’s specificity. Zbl 1378.68138
Wirth, Claus-Peter; Stolzenburg, Frieder
2
2016
Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054
Wirth, Claus-Peter
2
2012
Shallow confluence of conditional term rewriting systems. Zbl 1156.68028
Wirth, Claus-Peter
2
2009
History and future of implicit and inductionless induction: Beware the old jade and the zombie! Zbl 1098.68699
Wirth, Claus-Peter
2
2005
Conditional equational specifications of data types with partial operations for inductive theorem proving. Zbl 1379.68274
Kühler, Ulrich; Wirth, Claus-Peter
2
1997
A constructor-based approach to positive/negative-conditional equational specifications. Zbl 0821.68083
Wirth, Claus-Peter; Gramlich, Bernhard
2
1994
Computer-assisted human-oriented inductive theorem proving by descente infinie – a manifesto. Zbl 1314.03019
Wirth, Claus-Peter
1
2012
A new indefinite semantics for Hilbert’s epsilon. Zbl 1016.03057
Wirth, Claus-Peter
1
2002
A series of revisions of David Poole’s specificity. Zbl 1378.68138
Wirth, Claus-Peter; Stolzenburg, Frieder
2
2016
Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054
Wirth, Claus-Peter
2
2012
Computer-assisted human-oriented inductive theorem proving by descente infinie – a manifesto. Zbl 1314.03019
Wirth, Claus-Peter
1
2012
Shallow confluence of conditional term rewriting systems. Zbl 1156.68028
Wirth, Claus-Peter
2
2009
Hilbert’s epsilon as an operator of indefinite committed choice. Zbl 1147.03031
Wirth, Claus-Peter
4
2008
A generic modular data structure for proof attempts alternating on ideas and granularity. Zbl 1151.68628
Autexier, Serge; Benzmüller, Christoph; Dietrich, Dominik; Meier, Andreas; Wirth, Claus-Peter
4
2006
History and future of implicit and inductionless induction: Beware the old jade and the zombie! Zbl 1098.68699
Wirth, Claus-Peter
2
2005
Descente infinie + deduction. Zbl 1067.03021
Wirth, Claus-Peter
8
2004
Proof development with \(\Omega\)MEGA. Zbl 1072.68591
Siekmann, Jörg; Benzmüller, Christoph; Brezhnev, Vladimir; Cheikhrouhou, Lassaad; Fiedler, Armin; Franke, Andreas; Horacek, Helmut; Kohlhase, Michael; Meier, Andreas; Melis, Erica; Moschner, Markus; Normann, Immanuel; Pollet, Martin; Sorge, Volker; Ullrich, Carsten; Wirth, Claus-Peter; Zimmer, Jürgen
6
2002
A new indefinite semantics for Hilbert’s epsilon. Zbl 1016.03057
Wirth, Claus-Peter
1
2002
Conditional equational specifications of data types with partial operations for inductive theorem proving. Zbl 1379.68274
Kühler, Ulrich; Wirth, Claus-Peter
2
1997
A constructor-based approach to positive/negative-conditional equational specifications. Zbl 0821.68083
Wirth, Claus-Peter; Gramlich, Bernhard
2
1994

Citations by Year