Claus-Peter Wirth

Affiliations:

Saarland University, Saarbrücken, Germany

According to our database¹, Claus-Peter Wirth authored at least 39 papers between 1992 and 2017.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2017

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

FLAP, 2017

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

FLAP, 2017

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

FLAP, 2017

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

[BibT_eX]

[DOI]

J Strother Moore

Claus-Peter Wirth

FLAP, 2017

2016

A series of revisions of David Poole's specificity.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Frieder Stolzenburg

Ann. Math. Artif. Intell., 2016

2015

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

[BibT_eX]

[DOI]

Murdoch James Gabbay

Claus-Peter Wirth

J. Log. Comput., 2015

The RatioLog Project: Rational Extensions of Logical Reasoning.

[BibT_eX]

[DOI]

Künstliche Intell., 2015

2014

Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining.

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2014

David Poole's Specificity Revised.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Frieder Stolzenburg

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

2013

David Poole's Specifity Revised.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Frieder Stolzenburg

CoRR, 2013

2012

HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Logica Universalis, 2012

lim+, δ<sup>+</sup>, and Non-Permutability of β-Steps.

[BibT_eX]

[DOI]

Claus-Peter Wirth

J. Symb. Comput., 2012

Computer-assisted human-oriented inductive theorem proving by <i>descente infinie</i> - a manifesto.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Log. J. IGPL, 2012

2009

Jacques Herbrand: Life, Logic, and Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Logic from Russell to Church, 2009

Shallow confluence of conditional term rewriting systems.

[BibT_eX]

[DOI]

Claus-Peter Wirth

J. Symb. Comput., 2009

Lectures on Jacques Herbrand as a Logician

[BibT_eX]

[DOI]

CoRR, 2009

An Algebraic Dexter-Based Hypertext Reference Model

[BibT_eX]

[DOI]

Volker Mattick

Claus-Peter Wirth

CoRR, 2009

lim+, delta+, and Non-Permutability of beta-Steps

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2009

A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2009

Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2009

Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

[BibT_eX]

[DOI]

Claus-Peter Wirth

CoRR, 2009

ASF+ --- eine ASF-aehnliche Spezifikationssprache

[BibT_eX]

[DOI]

Rüdiger Lunde

Claus-Peter Wirth

CoRR, 2009

Writing Positive/Negative-Conditional Equations Conveniently

[BibT_eX]

[DOI]

Claus-Peter Wirth

Rüdiger Lunde

CoRR, 2009

2008

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

J. Appl. Log., 2008

2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.

[BibT_eX]

[DOI]

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!

[BibT_eX]

[DOI]

Claus-Peter Wirth

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Descente Infinie + Deduction.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Log. J. IGPL, 2004

2003

How to Prove Inductive Theorems? QUODLIBET!

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Claus-Peter Wirth

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

Proof Development with OMEGA.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

1999

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

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.

[BibT_eX]

[DOI]

Claus-Peter Wirth

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.

[BibT_eX]

[DOI]

Claus-Peter Wirth

PhD thesis, 1997

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.

[BibT_eX]

[DOI]

Ulrich Kühler

Claus-Peter Wirth

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

1996

Confluence of Terminating Conditional Rewrite Systems Revisited.

[BibT_eX]

[DOI]

Bernhard Gramlich

Claus-Peter Wirth

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

1994

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

[BibT_eX]

[DOI]

Claus-Peter Wirth

Bernhard Gramlich

J. Symb. Comput., 1994

Abstract Notions and Inference Systems for Proofs by Mathematical Induction.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Klaus Becker

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

On Notions of Inductive Validity for First-Oder Equational Clauses.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Bernhard Gramlich

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.

[BibT_eX]

[DOI]

Claus-Peter Wirth

Bernhard Gramlich

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

Claus-Peter Wirth

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...