Publikationen

Seite 11 von 14.

Dieter Hutter
Equalising Terms by Difference Reduction Techniques
DAI-Research Paper, Vol. No.845, 1997.
Dieter Hutter
Using Rippling to Prove the Termination of Algorithms
DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.
Serge Autexier; Dieter Hutter
Equational Proof-Planning by Dynamic Abstraction
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Deduction in the Verification Support Environment (VSE)
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
Verification Support Environment (VSE)
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
Dieter Hutter; David McAllister; Christoph Walther
Workshop on Automation of Proofs by Mathematical Induction
13th Conference on Automated Deduction, New Brunswick, USA, 1996.
Dieter Hutter; Claus Sengler
INKA: The Next Generation
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International …
Dieter Hutter; Claus Sengler
The Graphical User Interface of INKA
In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem …
Dieter Hutter
Using Rippling for Equational Reasoning
In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence …
Dieter Hutter; Michael Kohlhase
A Colored Version of the Lambda-Calculus
Technical Report, Vol. SR-95-08, 1995.