Travelled to:1 × Spain
1 × USA
Collaborated with:C.Wirth J.Avenhaus T.Schmidt-Samoa
Talks about:theorem (2) induct (2) prove (2) quodlibet (1) partial (1) specif (1) condit (1) equat (1) type (1) oper (1)
Person: Ulrich Kühler
DBLP: K=uuml=hler:Ulrich
Contributed to:
2003
1997Wrote 2 papers:
- CADE-2003-AvenhausKSW #exclamation #how #induction #theorem
- How to Prove Inductive Theorems? QUODLIBET! (JA, UK, TSS, CPW), pp. 328–333.
- 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.