Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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

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