Year: 1998
1998
[6] Integrating TPS with OMEGA (Christoph Benzmüller, Volker Sorge), In Theorem Proving in Higher Order Logics: Emerging Trends (Jim Grundy, Malcolm Newey, eds.), Technical Report 98-08, Department of Computer Science and Computer Science Lab, The Australian National University, pp. 1-18, 1998. [bibtex] [pdf]
[5] A Distributed Graphical User Interface for the Interactive Proof System (Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge), In Proceedings of the International Workshop "User Interfaces for Theorem Provers 1998 (UITP'98), pp. 130-138, 1998. [bibtex] [pdf]
[4] An Adaptation of Paramodulation and RUE-Resolution to Higher-Order Logic (Christoph Benzmüller), SEKI Publications (ISSN 1437-4447), number SR-98-07, pp. 1-55, 1998. [bibtex] [pdf]
[3] A Blackboard Architecture for Guiding Interactive Proofs (Christoph Benzmüller, Volker Sorge), In Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings (Fausto Giunchiglia, ed.), Springer, LNCS, number 1480, pp. 102-114, 1998. [bibtex] [pdf] [doi]
[2] LEO -- A Higher-Order Theorem Prover (Christoph Benzmüller, Michael Kohlhase), In Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Claude Kirchner, Hélène Kirchner, eds.), Springer, LNCS, number 1421, pp. 139-143, 1998. (slides) [bibtex] [pdf] [doi]
[1] Extensional Higher-Order Resolution (Christoph Benzmüller, Michael Kohlhase), In Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Claude Kirchner, Hélène Kirchner, eds.), Springer, LNAI, number 1421, pp. 56-71, 1998. [bibtex] [pdf] [doi]
Powered by bibtexbrowser