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: Wirth:Claus=Peter
Contributed to:
2014
20032002
199719961994Wrote 6 papers:
- KR-2014-WirthS
- 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.