Michael Hanus

No bio available. Add one in Open Library.

Books by Michael Hanus (50 max)

+ shelf+ list

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science)

2007

Michael Hanus

+ shelf+ list

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

2014

Michael Hanus, Ricardo Rocha

+ shelf+ list

Algebraic and Logic Programming: 5th International Confernence, Alp '96, Aachen, Germany, September 25-27, 1996 : Proceedings (Lecture Notes in Computer Science)

1996

Michael Hanus, Germany) Alp 9 (1996 Aachen, M. Rodriguez Artalejo

+ shelf+ list

Problemlösen mit PROLOG

1987

Michael Hanus

+ shelf+ list

Problemlösen mit PROLOG

1987

Michael Hanus

+ shelf+ list

Integration of declarative paradigms: proceedings of the ICLP'94 post-conference workshop, Santa Margherita Ligure, Italy

1994

Michael Hanus

+ shelf+ list

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science)

1997

Michael Hanus

+ shelf+ list

Algebraic and logic programming: 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

1997

Michael Hanus

+ shelf+ list

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

2005

Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein

+ shelf+ list

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

2021

Michael Hanus, Claudio Sacerdoti Coen

+ shelf+ list

Functional and Logic Programming 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

2022

Michael Hanus, Atsushi Igarashi