BibTeX cite key | Author/Editor | Year | | Title | Type |
HaehnleKerberEtAl96 | Hähnle, Reiner
Kerber, Manfred
Weidenbach, Christoph | 1996 | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | Report |
Hagemann2008 | Hagemann, Willem | 2005 | | Formalisierung der Arithmetik
Universität Göttingen | Thesis - other |
Hanus91a | Hanus, Michael | 1991 | | Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365 | Proceedings Article |
Hanus91b | Hanus, Michael | 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 |
Hanus91c | Hanus, Michael | 1991 | | Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | Journal Article |
Hanus92a | Hanus, Michael | 1992 | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Proceedings Article |
Hanus92b | Hanus, Michael | 1992 | | On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Proceedings Article |
Hanus92c | Hanus, Michael | 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 |
Hanus92d | Hanus, Michael | 1992 | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Part of a Book |
Hanus93a | Hanus, Michael | 1993 | | Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99 | Proceedings Article |
Hanus93d | Hanus, Michael | 1993 | | Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97 | Proceedings Article |
Hanus94ESOP | Hanus, Michael | 1994 | | Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286 | Proceedings Article |
Hanus94JLP | Hanus, Michael | 1994 | | The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628 | Journal Article |
Hanus94PLILP | Hanus, Michael | 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 |
hanus95a | Hanus, Michael | 1995 | | Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | Journal Article |
Hanus95ICLP | Hanus, Michael | 1995 | | On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679 | Proceedings Article |
Hanus95JLP | Hanus, Michael | 1995 | | Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245 | Journal Article |
HanusHabil1994 | Hanus, Michael | 1994 | | Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes | Thesis - Habilitation thesis |
HanusJosephs93c | Hanus, Michael
Josephs, Berthold | 1993 | | 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 |
HanusZartmann94SAS | Hanus, Michael
Zartmann, Frank | 1994 | | Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Proceedings Article |
Hillenbrand2003 | Hillenbrand, Thomas | 2003 | | Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13 | Electronic Proceedings Article |
Hillenbrand2004 | Hillenbrand, Thomas | 2004 | | A Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20 | Electronic Proceedings Article |
HillenbrandLoechner2001 | Hillenbrand, Thomas
Löchner, Bernd | 2001 | | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | Proceedings Article |
HillenbrandTopicWeidenbach2005 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | 2006 | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article |
HL02-CADE18 | Hillenbrand, Thomas
Löchner, Bernd | 2002 | | The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | Proceedings Article |
HoenickeMaier2005 | Hoenicke, Jochen
Maier, Patrick | 2005 | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article |
Hoffmann2003a | Hoffmann, Jörg | 2003 | | Utilizing Problem Structure in Planning: A Local Search Approach | Book |
Hoffmann2003b | Hoffmann, Jörg | 2003 | | The Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51 | Journal Article |
Hoffmann2005 | Hoffmann, Jörg | 2005 | | Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758 | Journal Article |
HoffmannBrafman2005a | Hoffmann, Jörg
Brafman, Ronen | 2005 | | Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | Proceedings Article |