Claus-Peter Wirth

45 papers A* 1A 3B 2Journal 30Unranked 7

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice. FLAP Claus-Peter Wirth
2017	J	`jnl`	Automation of Mathematical Induction as part of the History of Logic. FLAP J Strother Moore, Claus-Peter Wirth
2017	J	`jnl`	Barry Hartley Slater (1936-2016): A Logical Obituary. FLAP Claus-Peter Wirth
2017	J	`jnl`	The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating. FLAP Claus-Peter Wirth
2016	J	`jnl`	A series of revisions of David Poole's specificity. Ann. Math. Artif. Intell. Claus-Peter Wirth, Frieder Stolzenburg
2016	J	`jnl`	The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating. CoRR Claus-Peter Wirth
2015	J	`jnl`	Quantifiers in logic and proof-search using permissive-nominal terms and sets. J. Log. Comput. Murdoch James Gabbay, Claus-Peter Wirth
2015	J	`jnl`	The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015	J	`jnl`	The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2014	A*	`conf`	David Poole's Specificity Revised. KR Claus-Peter Wirth, Frieder Stolzenburg
2014	J	`jnl`	Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining. CoRR Claus-Peter Wirth
2013	J	`jnl`	Automation of Mathematical Induction as part of the History of Logic. CoRR J Strother Moore, Claus-Peter Wirth
2013	J	`jnl`	David Poole's Specifity Revised. CoRR Claus-Peter Wirth, Frieder Stolzenburg
2012	J	`jnl`	Computer-assisted human-oriented inductive theorem proving by Log. J. IGPL Claus-Peter Wirth
2012	J	`jnl`	HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT. Logica Universalis Claus-Peter Wirth
2012	J	`jnl`	lim+, δ J. Symb. Comput. Claus-Peter Wirth
2011	J	`jnl`	A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice CoRR Claus-Peter Wirth
2009	J	`jnl`	A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie CoRR Claus-Peter Wirth
2009	J	`jnl`	ASF+ --- eine ASF-aehnliche Spezifikationssprache CoRR Rüdiger Lunde, Claus-Peter Wirth
2009	J	`jnl`	An Algebraic Dexter-Based Hypertext Reference Model CoRR Volker Mattick, Claus-Peter Wirth
2009	J	`jnl`	Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization CoRR Claus-Peter Wirth
2009	J	`jnl`	Hilbert's epsilon as an Operator of Indefinite Committed Choice CoRR Claus-Peter Wirth
2009	—	`ch.`	Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2009	J	`jnl`	Lectures on Jacques Herbrand as a Logician CoRR Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2009	J	`jnl`	Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? CoRR Claus-Peter Wirth
2009	J	`jnl`	Shallow confluence of conditional term rewriting systems. J. Symb. Comput. Claus-Peter Wirth
2009	J	`jnl`	Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems CoRR Claus-Peter Wirth
2009	J	`jnl`	Writing Positive/Negative-Conditional Equations Conveniently CoRR Claus-Peter Wirth, Rüdiger Lunde
2009	J	`jnl`	lim+, delta+, and Non-Permutability of beta-Steps CoRR Claus-Peter Wirth
2008	J	`jnl`	Hilbert's epsilon as an operator of indefinite committed choice. J. Appl. Log. Claus-Peter Wirth
2005	—	`conf`	A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
2005	—	`conf`	History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! Mechanizing Mathematical Reasoning Claus-Peter Wirth
2004	J	`jnl`	Descente Infinie + Deduction. Log. J. IGPL Claus-Peter Wirth
2003	A	`conf`	How to Prove Inductive Theorems? QUODLIBET! CADE Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth
2002	B	`conf`	A New Indefinite Semantics for Hilbert's Epsilon. TABLEAUX Claus-Peter Wirth
2002	A	`conf`	Proof Development with OMEGA. CADE 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
1999	B	`conf`	Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. TABLEAUX Claus-Peter Wirth
1998	—	`conf`	Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. FTP (LNCS Selection) Claus-Peter Wirth
1997	—	`conf`	Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. RTA Ulrich Kühler, Claus-Peter Wirth
1997	—	`—`	Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving. Claus-Peter Wirth
1996	—	`conf`	Confluence of Terminating Conditional Rewrite Systems Revisited. RTA Bernhard Gramlich, Claus-Peter Wirth
1994	J	`jnl`	A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. J. Symb. Comput. Claus-Peter Wirth, Bernhard Gramlich
1994	—	`conf`	Abstract Notions and Inference Systems for Proofs by Mathematical Induction. CTRS Claus-Peter Wirth, Klaus Becker
1994	A	`conf`	On Notions of Inductive Validity for First-Oder Equational Clauses. CADE Claus-Peter Wirth, Bernhard Gramlich
1992	—	`conf`	A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. CTRS Claus-Peter Wirth, Bernhard Gramlich