Michael Hanus - Böcker

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Functional and Constraint Logic Programming

28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Functional and Logic Programming

16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings

Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Declarative Programming and Knowledge Management

Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Problemlösen mit PROLOG

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, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Algebraic and Logic Programming

5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings

Algebraic and Logic Programming

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

Practical Aspects of Declarative Languages

9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Logic-Based Program Synthesis and Transformation

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers