Robotics Innovation Center

Seite 11 von 14.

1. Dieter Hutter

   Equalising Terms by Difference Reduction Techniques

   DAI-Research Paper, Vol. No.845, 1997.

2. Dieter Hutter

   Using Rippling to Prove the Termination of Algorithms

   DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.

3. 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 …

4. 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 …

5. 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.

6. Dieter Hutter; David McAllister; Christoph Walther

   Workshop on Automation of Proofs by Mathematical Induction

   13th Conference on Automated Deduction, New Brunswick, USA, 1996.

7. 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 …

8. 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 …

9. 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 …

10. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

• vorherige
• 1
• …
• 10
• 11
• 12
• …
• 14
• nächste