pith. sign in

Claus-Peter Wirth

Identifiers

  • name variant Claus-Peter Wirth 0.60 · backfill

Papers (16)

  1. The Explicit Definition of Quantifiers via Hilbert's epsilon is Confluent and Terminating cs.LO · 2016 · author #1
  2. The RatioLog Project: Rational Extensions of Logical Reasoning cs.AI · 2015 · author #5
  3. Herbrand's Fundamental Theorem - an encyclopedia article math.LO · 2015 · author #1
  4. Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining math.LO · 2014 · author #1
  5. Automation of Mathematical Induction as part of the History of Logic cs.AI · 2013 · author #2
  6. David Poole's Specificity Revised cs.AI · 2013 · author #1
  7. Lectures on Jacques Herbrand as a Logician cs.LO · 2009 · author #1
  8. Hilbert's epsilon as an Operator of Indefinite Committed Choice cs.AI · 2009 · author #1
  9. Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization cs.AI · 2009 · author #1
  10. An Algebraic Dexter-Based Hypertext Reference Model cs.AI · 2009 · author #2
  11. lim+, delta+, and Non-Permutability of beta-Steps cs.AI · 2009 · author #1
  12. A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie cs.AI · 2009 · author #1
  13. Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems cs.AI · 2009 · author #1
  14. Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? cs.AI · 2009 · author #1
  15. ASF+ --- eine ASF-aehnliche Spezifikationssprache cs.AI · 2009 · author #2
  16. Writing Positive/Negative-Conditional Equations Conveniently cs.AI · 2009 · author #1

Mentions

  • 1503.06087 #5 · backfill · confidence 0.70 Claus-Peter Wirth
  • 1503.01412 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 1405.6317 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 1309.6226 #2 · backfill · confidence 0.70 Claus-Peter Wirth
  • 1308.4943 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.4682 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3749 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3730 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3648 #2 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3635 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3623 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3614 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.3294 #1 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.2995 #2 · backfill · confidence 0.70 Claus-Peter Wirth
  • 0902.2975 #1 · backfill · confidence 0.70 Claus-Peter Wirth

Frequent Coauthors