According to our database1, Claus-Peter Wirth authored at least 29 papers between 1992 and 2017.
Legend:Book In proceedings Article PhD thesis Other
The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating.
A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.
Barry Hartley Slater (1936-2016): A Logical Obituary.
Automation of Mathematical Induction as part of the History of Logic.
A series of revisions of David Poole's specificity.
Ann. Math. Artif. Intell., 2016
Quantifiers in logic and proof-search using permissive-nominal terms and sets.
J. Log. Comput., 2015
The RatioLog Project: Rational Extensions of Logical Reasoning.
David Poole's Specificity Revised.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT.
Logica Universalis, 2012
lim+, δ+, and Non-Permutability of β-Steps.
J. Symb. Comput., 2012
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto.
Logic Journal of the IGPL, 2012
Jacques Herbrand: Life, Logic, and Automated Deduction.
Proceedings of the Logic from Russell to Church, 2009
Shallow confluence of conditional term rewriting systems.
J. Symb. Comput., 2009
Hilbert's epsilon as an operator of indefinite committed choice.
J. Applied Logic, 2008
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
Proceedings of the Mechanizing Mathematical Reasoning, 2005
Descente Infinie + Deduction.
Logic Journal of the IGPL, 2004
How to Prove Inductive Theorems? QUODLIBET!
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
A New Indefinite Semantics for Hilbert's Epsilon.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
Proof Development with OMEGA.
Proceedings of the Automated Deduction, 2002
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998
Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving.
PhD thesis, 1997
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
Confluence of Terminating Conditional Rewrite Systems Revisited.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications.
J. Symb. Comput., 1994
Abstract Notions and Inference Systems for Proofs by Mathematical Induction.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994
On Notions of Inductive Validity for First-Oder Equational Clauses.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992