# | | Year | Author(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 | | 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 | | 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 | | Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | 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 | |
| | 1993 | Hanus, Michael
[Josephs, Berthold] | | 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 | | Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99 | 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 | |
| | 1992 | Hanus, Michael | | 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 | | 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 | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Part of a Book | |
| | 1992 | Hanus, Michael | | On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Proceedings Article | |
| | 1991 | Hanus, Michael | | Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365 | Proceedings Article | |
| | 1991 | Hanus, Michael | | Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | Journal Article | |
| | 1991 | Hanus, Michael | | 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 | |