Baumgartner, P., U. Furbach, M. Gross-Hardt and T. Kleemann: Optimizing the Evaluation of XPath Using Description Logics. In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004 Lecture Notes in Artificial Intelligence. Springer, Berlin, Germany (2005) 1-15.
localid: C1256104005ECAFC-EAB50CA717AC0320C1256F8C003A17B8-Furbach:etal:OptimizingXPathDL:INAP:2004
Hanus, M.: Analysis of Residuating Logic Programs. In: Journal of Logic Programming 24, 3, 219-245 (1995).
localid: C1256104005ECAFC-F117575B0027A42FC12562BA002DF997-Hanus95JLP
Hanus, M.: Compile-Time Analysis of Nonlinear Constraints in CLP(R). In: New Generation Computing 13, 2, 155-186 (1995).
localid: C1256104005ECAFC-55BF769DE8DA6564C12561A3003051B4-hanus95a
Hanus, M.: Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration. Habilitation, Universit├Ąt des Saarlandes, Saarbr├╝cken, Saarland (1994).
localid: C1256104005ECAFC-5189354A8D2BF03EC1256A24005037A3-HanusHabil1994
Antoy, S., R. Echahed and M. Hanus: A Needed Narrowing Strategy. In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94) ACM, New York, USA (1994) 268-279.
localid: C1256104005ECAFC-62AE0D6224F5F524C12561440062210B-AntoyEchahedHanus94a
Hanus, M.: Combining Lazy Narrowing and Simplification. In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), (Eds.) Hermenegildo, Manuel; Penjam, Jaan. Lecture Notes in Computer Science. Springer, Berlin, Germany (1994) 370-384.
localid: C1256104005ECAFC-6BA7092098F04C00C12561440062229B-Hanus94PLILP
Hanus, M.: Lazy Unification with Simplification. In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), (Eds.) Sannella, Don. Lecture Notes in Computer Science. Springer, Berlin, Germany (1994) 272-286.
localid: C1256104005ECAFC-D35E385D2708C3A3C1256144006221D3-Hanus94ESOP
Hanus, M. and F. Zartmann: Mode Analysis of Functional Logic Programs. In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), (Eds.) Le Charlier, Baudouin. Lecture Notes in Computer Science. Springer, Berlin, Germany (1994) 26-42.
localid: C1256104005ECAFC-72B5595562EC388DC1256144006223CA-HanusZartmann94SAS
Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. In: Journal of Logic Programming 19 & 20, 583-628 (1994).
localid: C1256104005ECAFC-0E6AB09431FD0AF8C125614400622237-Hanus94JLP
Hanus, M. and B. Josephs: A Debugging Model for Functional Logic Programs. In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), (Eds.) Bruynooghe, Maurice; Penjam, Jaan. Lecture Notes in Computer Science. Springer, Berlin, Germany (1993) 28-43.
localid: C1256104005ECAFC-31383E2EDD860E31C12561440062243F-HanusJosephs93c
http://edoc.mpg.de
The Max Planck Society does not take any responsibility for the content of this export.