BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × France
1 × Spain
2 × USA
Collaborated with:
B.Gramlich U.Kühler F.Stolzenburg J.Avenhaus T.Schmidt-Samoa J.H.Siekmann C.Benzmüller V.Brezhnev L.Cheikhrouhou A.Fiedler A.Franke H.Horacek M.Kohlhase A.Meier E.Melis M.Moschner I.Normann M.Pollet V.Sorge C.Ullrich J.Zimmer
Talks about:
induct (3) theorem (2) specif (2) condit (2) prove (2) equat (2) quodlibet (1) confluenc (1) revisit (1) partial (1)

Person: Claus-Peter Wirth

DBLP DBLP: Wirth:Claus=Peter

Contributed to:

KR 20142014
CADE 20032003
CADE 20022002
RTA 19971997
RTA 19961996
CADE 19941994

Wrote 6 papers:

David Poole’s Specificity Revised (CPW, FS).
CADE-2003-AvenhausKSW #exclamation #how #induction #theorem
How to Prove Inductive Theorems? QUODLIBET! (JA, UK, TSS, CPW), pp. 328–333.
CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
RTA-1997-KuhlerW #data type #equation #induction #proving #specification #theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving (UK, CPW), pp. 38–52.
RTA-1996-GramlichW #confluence #revisited #term rewriting
Confluence of Terminating Conditional Rewrite Systems Revisited (BG, CPW), pp. 245–259.
CADE-1994-WirthG #equation #induction #on the
On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.