Edit Profile (opens in new tab) Wirth, Claus-Peter Co-Author Distance Author ID: wirth.claus-peter Published as: Wirth, Claus-Peter External Links: MGP Documents Indexed: 23 Publications since 1993, including 3 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 25 Co-Authors with 10 Joint Publications 497 Co-Co-Authors all top 5 Co-Authors 14 single-authored 4 Gramlich, Bernhard 2 Benzmüller, Christoph Ewald 2 Meier, Andreas 2 Siekmann, Jörg H. 1 Autexier, Serge 1 Bernays, Paul 1 Brezhnev, Vladimir 1 Cheikhrouhou, Lassaad 1 Dietrich, Dominik 1 Fiedler, Armin 1 Franke, Andreas 1 Gabbay, Dov M. 1 Gabbay, Michael J. 1 Gabbay, Murdoch James 1 Hilbert, David 1 Horacek, Helmut 1 Kohlhase, Michael 1 Kühler, Ulrich 1 Melis, Erica 1 Moschner, Markus 1 Normann, Immanuel 1 Pollet, Martin 1 Sieg, Wilfried 1 Sorge, Volker 1 Stolzenburg, Frieder 1 Ullrich, Carsten A. 1 Zimmer, Jürgen all top 5 Serials 3 Journal of Symbolic Computation 2 Logic Journal of the IGPL 1 Journal of Logic and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 Logica Universalis Fields 14 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 5 History and biography (01-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 51 times in 34 Documents Cited by ▼ Year ▼ Descente infinie + deduction. Zbl 1067.03021 Wirth, Claus-Peter 11 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 7 2002 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 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 5 2006 Hilbert’s epsilon as an operator of indefinite committed choice. Zbl 1147.03031 Wirth, Claus-Peter 4 2008 On notions of inductive validity for first-order equational clauses. Zbl 1437.03050 Wirth, Claus-Peter; Gramlich, Bernhard 4 1994 Shallow confluence of conditional term rewriting systems. Zbl 1156.68028 Wirth, Claus-Peter 3 2009 A constructor-based approach to positive/negative-conditional equational specifications. Zbl 0821.68083 Wirth, Claus-Peter; Gramlich, Bernhard 3 1994 Conditional equational specifications of data types with partial operations for inductive theorem proving. Zbl 1379.68274 Kühler, Ulrich; Wirth, Claus-Peter 3 1997 A constructor-based approach for positive/negative-conditional equational specifications. Zbl 1508.68231 Wirth, Claus-Peter; Gramlich, Bernhard 3 1993 History and future of implicit and inductionless induction: Beware the old jade and the zombie! Zbl 1098.68699 Wirth, Claus-Peter 2 2005 Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054 Wirth, Claus-Peter 2 2012 A series of revisions of David Poole’s specificity. Zbl 1378.68138 Wirth, Claus-Peter; Stolzenburg, Frieder 2 2016 A new indefinite semantics for Hilbert’s epsilon. Zbl 1016.03057 Wirth, Claus-Peter 1 2002 Computer-assisted human-oriented inductive theorem proving by descente infinie – a manifesto. Zbl 1314.03019 Wirth, Claus-Peter 1 2012 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 Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. Zbl 1283.03005 Hilbert, David; Bernays, Paul 5 2011 Shallow confluence of conditional term rewriting systems. Zbl 1156.68028 Wirth, Claus-Peter 3 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 5 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 11 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 7 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 3 1997 On notions of inductive validity for first-order equational clauses. Zbl 1437.03050 Wirth, Claus-Peter; Gramlich, Bernhard 4 1994 A constructor-based approach to positive/negative-conditional equational specifications. Zbl 0821.68083 Wirth, Claus-Peter; Gramlich, Bernhard 3 1994 A constructor-based approach for positive/negative-conditional equational specifications. Zbl 1508.68231 Wirth, Claus-Peter; Gramlich, Bernhard 3 1993 all cited Publications top 5 cited Publications all top 5 Cited by 46 Authors 8 Wirth, Claus-Peter 4 Stratulat, Sorin 3 Gramlich, Bernhard 2 Bronsard, Francois 2 Hasker, Robert W. 2 Reddy, Uday S. 2 Wagner, Marc Oliver 1 Anacona, Maribel 1 Andrews, Peter B. 1 Anellis, Irving Henry 1 Aoto, Takahito 1 Arboleda, Luis Carlos 1 Autexier, Serge 1 Barsotti, Damián 1 Becker, Klaus W. 1 Benzmüller, Christoph Ewald 1 Blanqui, Frédéric 1 Brown, Chad Edward 1 Bussotti, Paolo 1 Calude, Cristian S. 1 de Nivelle, Hans 1 Dietrich, Dominik 1 Distefano, Dino 1 Echenim, Mnacho 1 Falappa, Marcelo Alejandro 1 Gabbay, Murdoch James 1 Gast, Holger 1 Haga, Ryota 1 Kagaya, Yuki 1 Kirchner, Claude 1 Melis, Erica 1 Müller, Christine 1 Nieto, Leonor Prensa 1 Padawitz, Peter 1 Peltier, Nicolas 1 Pérez-Fernández, Francisco Javier 1 Petersen, Rasmus Lerchedahl 1 Pisano, Raffaele 1 Riba, Colin 1 Schulz, Ewaryst 1 Shakarian, Paulo 1 Simari, Gerardo I. 1 Stolzenburg, Frieder 1 Sutcliffe, Geoff 1 Tiu, Alwen Fernanto 1 Zimmer, Jürgen all top 5 Cited in 11 Serials 4 Journal of Symbolic Computation 4 Journal of Automated Reasoning 3 Annals of Mathematics and Artificial Intelligence 2 Theoretical Computer Science 2 Journal of Applied Logic 2 Logica Universalis 1 Synthese 1 Information and Computation 1 Formal Aspects of Computing 1 Mathematical Structures in Computer Science 1 Foundations of Science Cited in 4 Fields 27 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 4 History and biography (01-XX) 1 Number theory (11-XX) Citations by Year