( en | de | ru )

 

Disambiguation of "Wirth, Claus-Peter"

Author of the publication

copydeleteadd this publication to your clipboard
The RatioLog Project - Rational Extensions of Logical Reasoning.

, , , , and . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claus-Peter Wirth

Claus-Jürgen Wirth

Peter Wirth

Peter Wirth

Peter Wirth

 

Other publications of authors with the same name

A Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications., and . CTRS, volume 656 of Lecture Notes in Computer Science, page 198-212. Springer, (1992)On Notions of Inductive Validity for First-Oder Equational Clauses., and . CADE, volume 814 of Lecture Notes in Computer Science, page 162-176. Springer, (1994)Abstract Notions and Inference Systems for Proofs by Mathematical Induction., and . CTRS, volume 968 of Lecture Notes in Computer Science, page 353-373. Springer, (1994)Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving., and . RTA, volume 1232 of Lecture Notes in Computer Science, page 38-52. Springer, (1997)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)Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.. TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 293-307. Springer, (1999)A Simplified and Improved Free-variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice.. FLAP, (2017)An Algebraic Dexter-Based Hypertext Reference Model, and . CoRR, (2009)Hilbert's epsilon as an Operator of Indefinite Committed Choice. CoRR, (2009)Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems. CoRR, (2009)