Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ulrich Kühler

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/AvenhausKSW03
- ask others
Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333
2000
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0001786
- ask others
Ulrich Kühler: A tactic-based inductive theorem prover for data types with partial operations. DISKI 238, Infix 2000, ISBN 978-3-89838-238-0, pp. I-XIV, 1-261

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/KuhlerW97
- ask others
Ulrich Kühler, Claus-Peter Wirth: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. RTA 1997: 38-52

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?