Claus-Peter Wirth

According to our database1, Claus-Peter Wirth authored at least 29 papers between 1992 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


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


  Loading...