# Claus-Peter Wirth

According to our database

Collaborative distances:

^{1}, Claus-Peter Wirth authored at least 29 papers between 1992 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating.

FLAP, 2017

A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.

FLAP, 2017

Barry Hartley Slater (1936-2016): A Logical Obituary.

FLAP, 2017

Automation of Mathematical Induction as part of the History of Logic.

FLAP, 2017

2016

A series of revisions of David Poole's specificity.

Ann. Math. Artif. Intell., 2016

2015

Quantifiers in logic and proof-search using permissive-nominal terms and sets.

J. Log. Comput., 2015

The RatioLog Project: Rational Extensions of Logical Reasoning.

KI, 2015

2014

David Poole's Specificity Revised.

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2012

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

2009

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

2008

Hilbert's epsilon as an operator of indefinite committed choice.

J. Applied Logic, 2008

2005

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

2004

Descente Infinie + Deduction.

Logic Journal of the IGPL, 2004

2003

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

2002

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

1999

Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

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

1997

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

1996

Confluence of Terminating Conditional Rewrite Systems Revisited.

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

1994

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

1992

A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications.

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992