Ulrich Kühler

	2003
3		Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333
	2000
2		Ulrich Kühler: A tactic-based inductive theorem prover for data types with partial operations. Infix 2000: I-XIV, 1-261
	1997
1		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

1	Jürgen Avenhaus	[3]
2	Tobias Schmidt-Samoa	[3]
3	Claus-Peter Wirth	[1] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page