Publications/Manuscripts of Malte Hübner
[3] Interactive Theorem Proving with Tasks (Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier), In Electronic Notes in Theoretical Computer Science, volume 103, number C, pp. 161-181, 2004. [bibtex] [pdf] [doi]
[2] Interactive Proof Construction at the Task Level (Malte Hübner, Christoph Benzmüller, Serge Autexier, Andreas Meier), In Proceedings of the Workshop User Interfaces for Theorem Provers (UITP 2003), ARACNE EDITRICE S.R.L. (ISBN 88-7999-545-6), pp. 81-100, 2003. (Also available as: Technical Report No. 189, Institut für Informatik, Albert-Ludwig-Universität, Freiburg) [bibtex] [pdf]
[1] Agent-based Proof Search with Indexed Formulas (Malte Hübner, Serge Autexier, Christoph Benzmüller), In Additonal Proceedings of 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002), pp. 11-20, 2002. (slides) [bibtex] [pdf]
Powered by bibtexbrowser