Author/Editor [Non Institute] | Year | | Title | Type |
Hagemann
[-] | 2005 | | Formalisierung der Arithmetik
Universität Göttingen | Thesis - other |
Hähnle, Kerber, Weidenbach
[Hähnle, Kerber] | 1996 | | Common Syntax of the DFG-Schwerpunktprogramm ``Deduktion'' | Report |
Hanus
(Ed: Abramsky, Maibaum)
[-] | 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 |
Hanus
(Ed: Apt)
[-] | 1992 | | On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Proceedings Article |
Hanus
(Ed: Boley, Richter)
[-] | 1991 | | Efficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365 | Proceedings Article |
Hanus
(Ed: Bruynooghe, Wirsing)
[-] | 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 |
Hanus
(Ed: Hermenegildo, Penjam)
[-] | 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 |
Hanus
(Ed: Kirchner, Levi)
[-] | 1992 | | Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243 | Proceedings Article |
Hanus
(Ed: Pfenning)
[-] | 1992 | | Logic Programming with Type Specifications
In: Types in Logic Programming, 91-140 | Part of a Book |
Hanus
(Ed: Sannella)
[-] | 1994 | | Lazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286 | Proceedings Article |
Hanus
(Ed: Warren)
[-] | 1993 | | Analysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99 | Proceedings Article |
Hanus
[-] | 1995 | | Analysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245 | Journal Article |
Hanus
[-] | 1995 | | Compile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186 | Journal Article |
Hanus
[-] | 1995 | | On Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679 | Proceedings Article |
Hanus
[-] | 1994 | | The Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628 | Journal Article |
Hanus
[-] | 1994 | | Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes | Thesis - Habilitation thesis |
Hanus
[-] | 1993 | | Towards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97 | Proceedings Article |
Hanus
[-] | 1991 | | Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | Journal Article |
Hanus, Josephs
(Ed: Bruynooghe, Penjam)
[Josephs] | 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 |
Hanus, Zartmann
(Ed: Le Charlier)
[-] | 1994 | | Mode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42 | Proceedings Article |
Hillenbrand
(Ed: Dahn, Vigneron)
[-] | 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 |
Hillenbrand
(Ed: Sattler)
[-] | 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 |
Hillenbrand, Löchner
(Ed: de Nivelle, Schulz)
[Löchner, Schulz] | 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 |
Hillenbrand, Löchner
(Ed: Voronkov)
[-] | 2002 | | The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | Proceedings Article |
Hillenbrand, Podelski, Topić
(Ed: Charatonik, Ganzinger)
[-] | 2002 | | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | Proceedings Article |
Hillenbrand, Topic, Weidenbach
(Ed: Ahrendt, Baumgartner, de Nivelle)
[-] | 2006 | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article |
Hoenicke, Maier
(Ed: Fitzgerald, Hayes, Tarlecki)
[-] | 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 |
Hoffmann
(Ed: Kaelbling)
[-] | 2005 | | A Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580 | Poster |
Hoffmann
[-] | 2005 | | In Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69 | Journal Article |
Hoffmann
[-] | 2005 | | The Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579 | Journal Article |