Institute for Information Systems

Page 2 of 2.

1. Dominik Dietrich; Ewaryst Schulz

   CRStL: A Declarative Language for the Encoding of Proof Techniques

   In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

2. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

   Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

   In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

3. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

   Deep Inference for Automated Proof Tutoring?

   In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

• 1
• 2