Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-10  
 Basket 
Optimizing the Evaluation of XPath Using Description Logics
Editors: Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar
Authors: Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret; Kleemann, Thomas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2005
Title of Proceedings: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004
Start Page: 1
End Page: 15
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 279110.0
Analysis of Residuating Logic Programs
Authors: Hanus, Michael
Date of Publication (YYYY-MM-DD): 1995
Title of Journal: Journal of Logic Programming
Volume: 24
Issue / Number: 3
Start Page: 219
End Page: 245
Document Type: Article
ID: 519636.0
Compile-Time Analysis of Nonlinear Constraints in CLP(R)
Authors: Hanus, Michael
Date of Publication (YYYY-MM-DD): 1995
Title of Journal: New Generation Computing
Volume: 13
Issue / Number: 2
Start Page: 155
End Page: 186
Document Type: Article
ID: 519518.0
Thema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Authors: Hanus, Michael
Name of University: Universität des Saarlandes
Place of University: Saarbrücken, Saarland
Date of Approval (YYYY-MM-DD): 1994-05-05
Document Type: Habilitation
ID: 519802.0
A Needed Narrowing Strategy
Authors: Antoy, Sergio; Echahed, Rachid; Hanus, Michael
Place of Publication: New York, USA
Publisher: ACM
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94)
Start Page: 268
End Page: 279
Document Type: Conference-Paper
ID: 519529.0
Combining Lazy Narrowing and Simplification
Authors: Hanus, Michael
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94)
Start Page: 370
End Page: 384
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519538.0
Lazy Unification with Simplification
Authors: Hanus, Michael
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94)
Start Page: 272
End Page: 286
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519615.0
Mode Analysis of Functional Logic Programs
Authors: Hanus, Michael; Zartmann, Frank
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Proceedings of the 1st International Static Analysis Symposium (SAS'94)
Start Page: 26
End Page: 42
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519544.0
The Integration of Functions into Logic Programming: From Theory to Practice
Authors: Hanus, Michael
Date of Publication (YYYY-MM-DD): 1994
Title of Journal: Journal of Logic Programming
Volume: 19 & 20
Start Page: 583
End Page: 628
Document Type: Article
ID: 519465.0
A Debugging Model for Functional Logic Programs
Authors: Hanus, Michael; Josephs, Berthold
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1993
Title of Proceedings: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93)
Start Page: 28
End Page: 43
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519490.0
Entries: 1-10  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.