The SCEAS System
| |||||||

## Search the dblp DataBase
Claus-Peter Wirth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Bernhard Gramlich, Claus-Peter Wirth
**Confluence of Terminating Conditional Rewrite Systems Revisited.**[Citation Graph (0, 0)][DBLP] RTA, 1996, pp:245-259 [Conf] - 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] - Claus-Peter Wirth
**A New Indefinite Semantics for Hilbert's Epsilon.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:298-314 [Conf] - 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] - 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] - 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] **Writing Positive/Negative-Conditional Equations Conveniently**[Citation Graph (, )][DBLP]**ASF+ --- eine ASF-aehnliche Spezifikationssprache**[Citation Graph (, )][DBLP]**Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?**[Citation Graph (, )][DBLP]**Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems**[Citation Graph (, )][DBLP]**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]**lim+, delta+, and Non-Permutability of beta-Steps**[Citation Graph (, )][DBLP]**An Algebraic Dexter-Based Hypertext Reference Model**[Citation Graph (, )][DBLP]**Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization**[Citation Graph (, )][DBLP]**Hilbert's epsilon as an Operator of Indefinite Committed Choice**[Citation Graph (, )][DBLP]**Lectures on Jacques Herbrand as a Logician**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |