| # |  | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
|---|
| 2 |
 | Habel, Christopher (ed.) |
| |
| 1 |
| |
| 1 |
| Hagemann, Willem |
| |
| 1 |
| |
| 1 |
| Hähnle, Reiner |
| |
| 1 |
| |
| 1 |
| Halbwachs, Nicolas (ed.) |
| |
| 1 |
| |
| 2 |
| Hankin, Chris (ed.) |
| |
| 1 |
| |
| 19 |
 | Hanus, Michael |
| |
| | 1995 | Hanus, Michael | | | Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245 | Journal Article | |
| | 1995 | Hanus, Michael | | | Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | Journal Article | |
| | 1995 | Hanus, Michael | | | On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679 | Proceedings Article | |
| | 1994 | [Antoy, Sergio]
[Echahed, Rachid]
Hanus, Michael | | | A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279 | Proceedings Article | |
| | 1994 | Hanus, Michael | | | The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628 | Journal Article | |
| | 1994 | Hanus, Michael | | | Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes | Thesis - Habilitation thesis | |
| | 1994 | Hanus, Michael | Hermenegildo, Manuel
Penjam, Jaan | | Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384 | Proceedings Article | |
| | 1994 | Hanus, Michael | Sannella, Don | | Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286 | Proceedings Article | |
| | 1994 | Hanus, Michael
Zartmann, Frank | Le Charlier, Baudouin | | Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Proceedings Article | |
| | 1993 | Hanus, Michael | | | Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97 | Proceedings Article | |
| | 1993 | Hanus, Michael
[Josephs, Berthold] | Bruynooghe, Maurice
Penjam, Jaan | | A Debugging Model for Functional Logic Programs
In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), 28-43 | Proceedings Article | |
| | 1993 | Hanus, Michael | Warren, David Scott | | Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99 | Proceedings Article | |
| | 1992 | Hanus, Michael | Apt, Krzysztof | | On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Proceedings Article | |
| | 1992 | Hanus, Michael | Bruynooghe, Maurice
Wirsing, Martin | | Improving Control of Logic Programs by Using Functional Logic Languages
In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, 1-23 | Proceedings Article | |
| | 1992 | Hanus, Michael | Kirchner, Hélène
Levi, Georgio | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Proceedings Article | |
| | 1992 | Hanus, Michael | Pfenning, Frank | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Part of a Book | |
| | 1991 | Hanus, Michael | | | Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | Journal Article | |
| | 1991 | Hanus, Michael | Abramsky, S.
Maibaum, T.S.E. | | Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200 | Proceedings Article | |
| | 1991 | Hanus, Michael | Boley, H.
Richter, M.M. | | Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365 | Proceedings Article | |
