Ulrich Kühler

According to our database, Ulrich Kühler authored at least 3 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

How to Prove Inductive Theorems? QUODLIBET!

Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2000

A tactic-based inductive theorem prover for data types with partial operations.

Ulrich Kühler

PhD thesis, 2000

1997

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.

Ulrich Kühler, Claus-Peter Wirth

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997