Claus-Peter Wirth

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 9

Top Venues

CoRR

FLAP

Log. J. IGPL

Ann. Math. Artif. Intell.

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

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

Claus-Peter Wirth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claus-Peter Wirth