1
Practical Aspects of Declarative Languages [E-Book] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
2
Functional and Logic Programming [E-Book] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings /
3
Functional and Constraint Logic Programming [E-Book] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
4
Declarative Programming and Knowledge Management [E-Book] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers /
5
Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
6
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
7
Practical Aspects of Declarative Languages [E-Book] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
8
Applications of Declarative Programming and Knowledge Management [E-Book] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP
9
Specialization of functional logic programs based on needed narrowing /
Book
Other Personal Name(s): ...Hanus, Michael...
10
Algebraic and Logic Programming [E-Book] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
11
Jahresbericht der Fachgruppe Informatik in der Mathematisch-Naturwissenschaftlichen Fakultät der RWTH Aachen. 1996 /
Book
Other Personal Name(s): ...Hanus, Michael....
12
Poster session of ALP 1996: proceedings : International conference on algebraic and logic programming 0005: proceedings : Aachen, 25.09.96-27.09.96.
Book
Other Personal Name(s): ...Hanus, Michael...
13
Higher-order narrowing with definitional trees : Michael Hanus /
Book
Other Personal Name(s): ...Hanus, Michael....