Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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

#		Year		Title	Type
1	Hagemann
1	Hähnle, Kerber, Weidenbach
16	Hanus
		1995		Analysis of Residuating Logic Programs In: Journal of Logic Programming [24], 219-245	Journal Article
		1995		Compile-Time Analysis of Nonlinear Constraints in CLP(R) In: New Generation Computing [13], 155-186	Journal Article
		1995		On Extra Variables in (Equational) Logic Programming In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679	Proceedings Article
		1994		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		Lazy Unification with Simplification In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286	Proceedings Article
		1994		The Integration of Functions into Logic Programming: From Theory to Practice In: Journal of Logic Programming [19 & 20], 583-628	Journal Article
		1994		Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration Universität des Saarlandes	Thesis - Habilitation thesis
		1993		Analysis of Nonlinear Constraints in CLP($\calR$) In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99	Proceedings Article
		1993		Towards the Global Optimization of Functional Logic Programs In: Proc.~Workshop on Global Compilation, International Logic Programming Symposium, 83-97	Proceedings Article
		1992		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		Incremental Rewriting in Narrowing Derivations In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243	Proceedings Article
		1992		Logic Programming with Type Specifications In: Types in Logic Programming, 91-140	Part of a Book
		1992		On the Completeness of Residuation In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206	Proceedings Article
		1991		Efficient Implementation of Narrowing and Rewriting In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365	Proceedings Article
		1991		Horn Clause Programs with Polymorphic Types: Semantics and Resolution In: Theoretical Computer Science [89], 63-106	Journal Article
		1991		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
1	Hanus, Josephs
1	Hanus, Zartmann
2	Hillenbrand
2	Hillenbrand, Löchner
1	Hillenbrand, Podelski, Topić
1	Hillenbrand, Topic, Weidenbach
1	Hoenicke, Maier
6	Hoffmann
2	Hoffmann, Brafman
1	Hoffmann, Geffner
1	Hoffmann, Gomes, Selman

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