**default search action**

# Search dblp for Publications

export results for

**"Claus-Peter Wirth"**@article{DBLP:journals/flap/MooreW17, author = {J. Strother Moore and Claus{-}Peter Wirth}, title = {Automation of Mathematical Induction as part of the History of Logic}, journal = {{FLAP}}, volume = {4}, number = {5}, year = {2017} }

@article{DBLP:journals/flap/Wirth17, author = {Claus{-}Peter Wirth}, title = {Barry Hartley Slater {(1936-2016):} {A} Logical Obituary}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017} }

@article{DBLP:journals/flap/Wirth17a, author = {Claus{-}Peter Wirth}, title = {A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017} }

@article{DBLP:journals/flap/Wirth17b, author = {Claus{-}Peter Wirth}, title = {The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating}, journal = {{FLAP}}, volume = {4}, number = {2}, year = {2017} }

@article{DBLP:journals/amai/WirthS16, author = {Claus{-}Peter Wirth and Frieder Stolzenburg}, title = {A series of revisions of David Poole's specificity}, journal = {Ann. Math. Artif. Intell.}, volume = {78}, number = {3-4}, pages = {205--258}, year = {2016} }

@article{DBLP:journals/corr/Wirth16, author = {Claus{-}Peter Wirth}, title = {The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating}, journal = {CoRR}, volume = {abs/1611.06389}, year = {2016} }

@article{DBLP:journals/ki/FurbachSSWW15, author = {Ulrich Furbach and Claudia Schon and Frieder Stolzenburg and Karl{-}Heinz Weis and Claus{-}Peter Wirth}, title = {The RatioLog Project: Rational Extensions of Logical Reasoning}, journal = {{KI}}, volume = {29}, number = {3}, pages = {271--277}, year = {2015} }

@article{DBLP:journals/logcom/GabbayW15, author = {Murdoch James Gabbay and Claus{-}Peter Wirth}, title = {Quantifiers in logic and proof-search using permissive-nominal terms and sets}, journal = {J. Log. Comput.}, volume = {25}, number = {2}, pages = {473--523}, year = {2015} }

@article{DBLP:journals/corr/FurbachSSWW15, author = {Ulrich Furbach and Claudia Schon and Frieder Stolzenburg and Karl{-}Heinz Weis and Claus{-}Peter Wirth}, title = {The RatioLog Project - Rational Extensions of Logical Reasoning}, journal = {CoRR}, volume = {abs/1503.06087}, year = {2015} }

@inproceedings{DBLP:conf/kr/WirthS14, author = {Claus{-}Peter Wirth and Frieder Stolzenburg}, title = {David Poole's Specificity Revised}, booktitle = {{KR}}, publisher = {{AAAI} Press}, year = {2014} }

@article{DBLP:journals/corr/Wirth14, author = {Claus{-}Peter Wirth}, title = {Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining}, journal = {CoRR}, volume = {abs/1405.6317}, year = {2014} }

@article{DBLP:journals/corr/MooreW13, author = {J Strother Moore and Claus{-}Peter Wirth}, title = {Automation of Mathematical Induction as part of the History of Logic}, journal = {CoRR}, volume = {abs/1309.6226}, year = {2013} }

@article{DBLP:journals/corr/WirthS13, author = {Claus{-}Peter Wirth and Frieder Stolzenburg}, title = {David Poole's Specifity Revised}, journal = {CoRR}, volume = {abs/1308.4943}, year = {2013} }

@article{DBLP:journals/igpl/Wirth12, author = {Claus{-}Peter Wirth}, title = {Computer-assisted human-oriented inductive theorem proving by \emph{descente infinie} - a manifesto}, journal = {Logic Journal of the {IGPL}}, volume = {20}, number = {6}, pages = {1046--1063}, year = {2012} }

@article{DBLP:journals/jsc/Wirth12, author = {Claus{-}Peter Wirth}, title = {lim+, {\(\delta\)}\({}^{\mbox{+}}\), and Non-Permutability of {\(\beta\)}-Steps}, journal = {J. Symb. Comput.}, volume = {47}, number = {9}, pages = {1109--1135}, year = {2012} }

@article{DBLP:journals/lu/Wirth12, author = {Claus{-}Peter Wirth}, title = {HERBRAND's Fundamental Theorem in the Eyes of {JEAN} {VAN} {HEIJENOORT}}, journal = {Logica Universalis}, volume = {6}, number = {3-4}, pages = {485--520}, year = {2012} }

@article{DBLP:journals/corr/abs-1104-2444, author = {Claus{-}Peter Wirth}, title = {A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice}, journal = {CoRR}, volume = {abs/1104.2444}, year = {2011} }

@article{DBLP:journals/jsc/Wirth09, author = {Claus{-}Peter Wirth}, title = {Shallow confluence of conditional term rewriting systems}, journal = {J. Symb. Comput.}, volume = {44}, number = {1}, pages = {60--98}, year = {2009} }

@incollection{DBLP:series/hhl/WirthSBA09, author = {Claus{-}Peter Wirth and J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, title = {Jacques Herbrand: Life, Logic, and Automated Deduction}, booktitle = {Logic from Russell to Church}, series = {Handbook of the History of Logic}, volume = {5}, pages = {195--254}, publisher = {Elsevier}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-2975, author = {Claus{-}Peter Wirth and R{\"{u}}diger Lunde}, title = {Writing Positive/Negative-Conditional Equations Conveniently}, journal = {CoRR}, volume = {abs/0902.2975}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-2995, author = {R{\"{u}}diger Lunde and Claus{-}Peter Wirth}, title = {{ASF+} --- eine ASF-aehnliche Spezifikationssprache}, journal = {CoRR}, volume = {abs/0902.2995}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3294, author = {Claus{-}Peter Wirth}, title = {Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?}, journal = {CoRR}, volume = {abs/0902.3294}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3614, author = {Claus{-}Peter Wirth}, title = {Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems}, journal = {CoRR}, volume = {abs/0902.3614}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3623, author = {Claus{-}Peter Wirth}, title = {A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie}, journal = {CoRR}, volume = {abs/0902.3623}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3635, author = {Claus{-}Peter Wirth}, title = {lim+, delta+, and Non-Permutability of beta-Steps}, journal = {CoRR}, volume = {abs/0902.3635}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3648, author = {Volker Mattick and Claus{-}Peter Wirth}, title = {An Algebraic Dexter-Based Hypertext Reference Model}, journal = {CoRR}, volume = {abs/0902.3648}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3730, author = {Claus{-}Peter Wirth}, title = {Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization}, journal = {CoRR}, volume = {abs/0902.3730}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-3749, author = {Claus{-}Peter Wirth}, title = {Hilbert's epsilon as an Operator of Indefinite Committed Choice}, journal = {CoRR}, volume = {abs/0902.3749}, year = {2009} }

@article{DBLP:journals/corr/abs-0902-4682, author = {Claus{-}Peter Wirth and J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Serge Autexier}, title = {Lectures on Jacques Herbrand as a Logician}, journal = {CoRR}, volume = {abs/0902.4682}, year = {2009} }

@article{DBLP:journals/japll/Wirth08, author = {Claus{-}Peter Wirth}, title = {Hilbert's epsilon as an operator of indefinite committed choice}, journal = {J. Applied Logic}, volume = {6}, number = {3}, pages = {287--317}, year = {2008} }

@inproceedings{DBLP:conf/birthday/Wirth05, author = {Claus{-}Peter Wirth}, title = {History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!}, booktitle = {Mechanizing Mathematical Reasoning}, series = {Lecture Notes in Computer Science}, volume = {2605}, pages = {192--203}, publisher = {Springer}, year = {2005} }

@inproceedings{DBLP:conf/mkm/AutexierBDMW05, author = {Serge Autexier and Christoph Benzm{\"{u}}ller and Dominik Dietrich and Andreas Meier and Claus{-}Peter Wirth}, title = {A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity}, booktitle = {{MKM}}, series = {Lecture Notes in Computer Science}, volume = {3863}, pages = {126--142}, publisher = {Springer}, year = {2005} }

@article{DBLP:journals/igpl/Wirth04, author = {Claus{-}Peter Wirth}, title = {Descente Infinie + Deduction}, journal = {Logic Journal of the {IGPL}}, volume = {12}, number = {1}, pages = {1--96}, year = {2004} }

@inproceedings{DBLP:conf/cade/AvenhausKSW03, author = {J{\"{u}}rgen Avenhaus and Ulrich K{\"{u}}hler and Tobias Schmidt{-}Samoa and Claus{-}Peter Wirth}, title = {How to Prove Inductive Theorems? QUODLIBET!}, booktitle = {{CADE}}, series = {Lecture Notes in Computer Science}, volume = {2741}, pages = {328--333}, publisher = {Springer}, year = {2003} }

@inproceedings{DBLP:conf/cade/SiekmannBBCFFHKMMMNPSUWZ02, author = {J{\"{o}}rg H. Siekmann and Christoph Benzm{\"{u}}ller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Immanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus{-}Peter Wirth and J{\"{u}}rgen Zimmer}, title = {Proof Development with {OMEGA}}, booktitle = {{CADE}}, series = {Lecture Notes in Computer Science}, volume = {2392}, pages = {144--149}, publisher = {Springer}, year = {2002} }

@inproceedings{DBLP:conf/tableaux/Wirth02, author = {Claus{-}Peter Wirth}, title = {A New Indefinite Semantics for Hilbert's Epsilon}, booktitle = {{TABLEAUX}}, series = {Lecture Notes in Computer Science}, volume = {2381}, pages = {298--314}, publisher = {Springer}, year = {2002} }

@inproceedings{DBLP:conf/tableaux/Wirth99, author = {Claus{-}Peter Wirth}, title = {Full First-Order Free Variable Sequents and Tableaux in Implicit Induction}, booktitle = {{TABLEAUX}}, series = {Lecture Notes in Computer Science}, volume = {1617}, pages = {293--307}, publisher = {Springer}, year = {1999} }

@inproceedings{DBLP:conf/ftp/Wirth98, author = {Claus{-}Peter Wirth}, title = {Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization}, booktitle = {{FTP} {(LNCS} Selection)}, series = {Lecture Notes in Computer Science}, volume = {1761}, pages = {282--297}, publisher = {Springer}, year = {1998} }

@phdthesis{DBLP:phd/dnb/Wirth97, author = {Claus{-}Peter Wirth}, title = {Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving}, school = {University of Kaiserslautern}, year = {1997} }

@inproceedings{DBLP:conf/rta/KuhlerW97, author = {Ulrich K{\"{u}}hler and Claus{-}Peter Wirth}, title = {Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving}, booktitle = {{RTA}}, series = {Lecture Notes in Computer Science}, volume = {1232}, pages = {38--52}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/rta/GramlichW96, author = {Bernhard Gramlich and Claus{-}Peter Wirth}, title = {Confluence of Terminating Conditional Rewrite Systems Revisited}, booktitle = {{RTA}}, series = {Lecture Notes in Computer Science}, volume = {1103}, pages = {245--259}, publisher = {Springer}, year = {1996} }

@article{DBLP:journals/jsc/WirthG94, author = {Claus{-}Peter Wirth and Bernhard Gramlich}, title = {A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications}, journal = {J. Symb. Comput.}, volume = {17}, number = {1}, pages = {51--90}, year = {1994} }

@inproceedings{DBLP:conf/cade/WirthG94, author = {Claus{-}Peter Wirth and Bernhard Gramlich}, title = {On Notions of Inductive Validity for First-Oder Equational Clauses}, booktitle = {{CADE}}, series = {Lecture Notes in Computer Science}, volume = {814}, pages = {162--176}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/ctrs/WirthB94, author = {Claus{-}Peter Wirth and Klaus Becker}, title = {Abstract Notions and Inference Systems for Proofs by Mathematical Induction}, booktitle = {{CTRS}}, series = {Lecture Notes in Computer Science}, volume = {968}, pages = {353--373}, publisher = {Springer}, year = {1994} }

@inproceedings{DBLP:conf/ctrs/WirthG92, author = {Claus{-}Peter Wirth and Bernhard Gramlich}, title = {A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications}, booktitle = {{CTRS}}, series = {Lecture Notes in Computer Science}, volume = {656}, pages = {198--212}, publisher = {Springer}, year = {1992} }