| | 2007 | [Podelski, Andreas]
Rybalchenko, Andrey | Hanus, Michael | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Proceedings Article | |
| | 2005 | Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas] | [Seipel, Dietmar]
[Hanus, Michael]
[Geske, Ulrich]
[Bartenstein, Oskar] | | Optimizing the Evaluation of XPath Using Description Logics
In: 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, 1-15 | Proceedings Article | |
| | 1996 | Bockmayr, Alexander | [Hanus, Michael]
[Lloyd, John W.]
[Moreno Navarro, Juan José] | | Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4 | Proceedings Article | |
1 |
| Hermenegildo, Manuel (ed.) |
| |