Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Ulrich Kühler: Publications
U. Kühler: An Approach to Flexible Forms of Proof Control for a First-Order Inductive Theorem Prover (Extended Abstract),
to be presented at the FLoC'99 Workshop on Strategies in Automated Deduction (STRATEGIES'99)
U. Kühler,
C.-P. Wirth: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving,
Proc.of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), LNCS 1232, 1997, pp.38-52.
Extended Version as SEKI-Report SR-96-11, University of Kaiserslautern, 1996.
C.-P. Wirth,
U. Kühler: Inductive Theorem Proving in Theories Specified by Positive/Negative-Conditional Equations,
SEKI-Report SR-95-15, University of Kaiserslautern, 1995.