The SCEAS System
Navigation Menu

Search the dblp DataBase


Claus-Peter Wirth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Claus-Peter Wirth
    History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:192-203 [Conf]
  2. Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth
    How to Prove Inductive Theorems? QUODLIBET! [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:328-333 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:144-149 [Conf]
  4. Claus-Peter Wirth, Bernhard Gramlich
    On Notions of Inductive Validity for First-Oder Equational Clauses. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:162-176 [Conf]
  5. Claus-Peter Wirth, Klaus Becker
    Abstract Notions and Inference Systems for Proofs by Mathematical Induction. [Citation Graph (0, 0)][DBLP]
    CTRS, 1994, pp:353-373 [Conf]
  6. Claus-Peter Wirth, Bernhard Gramlich
    A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:198-212 [Conf]
  7. Claus-Peter Wirth
    Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:282-297 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:126-142 [Conf]
  9. Bernhard Gramlich, Claus-Peter Wirth
    Confluence of Terminating Conditional Rewrite Systems Revisited. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:245-259 [Conf]
  10. Ulrich Kühler, Claus-Peter Wirth
    Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    RTA, 1997, pp:38-52 [Conf]
  11. Claus-Peter Wirth
    A New Indefinite Semantics for Hilbert's Epsilon. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:298-314 [Conf]
  12. Claus-Peter Wirth
    Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:293-307 [Conf]
  13. Claus-Peter Wirth
    Descente Infinie + Deduction. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:1, pp:1-96 [Journal]
  14. Claus-Peter Wirth, Bernhard Gramlich
    A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:17, n:1, pp:51-90 [Journal]

  15. Writing Positive/Negative-Conditional Equations Conveniently [Citation Graph (, )][DBLP]

  16. ASF+ --- eine ASF-aehnliche Spezifikationssprache [Citation Graph (, )][DBLP]

  17. Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? [Citation Graph (, )][DBLP]

  18. Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems [Citation Graph (, )][DBLP]

  19. A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie [Citation Graph (, )][DBLP]

  20. lim+, delta+, and Non-Permutability of beta-Steps [Citation Graph (, )][DBLP]

  21. An Algebraic Dexter-Based Hypertext Reference Model [Citation Graph (, )][DBLP]

  22. Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization [Citation Graph (, )][DBLP]

  23. Hilbert's epsilon as an Operator of Indefinite Committed Choice [Citation Graph (, )][DBLP]

  24. Lectures on Jacques Herbrand as a Logician [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002