MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearTitleType
1
Show details for Hagemann [-]Hagemann [-]
1
Show details for Hähnle, Kerber, Weidenbach [Hähnle, Kerber]Hähnle, Kerber, Weidenbach [Hähnle, Kerber]
16
Hide details for Hanus [-]Hanus [-]
1995Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245		Journal Article
1995Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186		Journal Article
1995On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679		Proceedings Article
1994Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384		Proceedings Article
1994Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286		Proceedings Article
1994The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628		Journal Article
1994Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes		Thesis - Habilitation thesis
1993Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99		Proceedings Article
1993Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97		Proceedings Article
1992Improving 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
1992Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243		Proceedings Article
1992Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140		Part of a Book
1992On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206		Proceedings Article
1991Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365		Proceedings Article
1991Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106		Journal Article
1991Parametric 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
1
Show details for Hanus, Josephs [Josephs]Hanus, Josephs [Josephs]
1
Show details for Hanus, Zartmann [-]Hanus, Zartmann [-]
1
Show details for Hillenbrand [Dahn, Vigneron]Hillenbrand [Dahn, Vigneron]
1
Show details for Hillenbrand [Sattler]Hillenbrand [Sattler]
1
Show details for Hillenbrand, Löchner [Löchner, Schulz]Hillenbrand, Löchner [Löchner, Schulz]
1
Show details for Hillenbrand, Löchner [Löchner, Voronkov]Hillenbrand, Löchner [Löchner, Voronkov]
1
Show details for Hillenbrand, Podelski, Topić [-]Hillenbrand, Podelski, Topić [-]
1
Show details for Hillenbrand, Topic, Weidenbach [Ahrendt]Hillenbrand, Topic, Weidenbach [Ahrendt]
1
Show details for Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki]Hoenicke, Maier [Hoenicke, Fitzgerald, Hayes, Tarlecki]
3
Show details for Hoffmann [-]Hoffmann [-]
1
Show details for Hoffmann [Edelkamp]Hoffmann [Edelkamp]

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)