Michael Hanus

Identifiers

Open LibraryOL3181996A

Top Subjects

Logic Design (1)
Programming Languages - General (1)
Congresses (1)
Computers - Languages / Programming (1)
Mathematical theory of computation (1)
Algebra (1)
Algebraic logic (1)

Books by Michael Hanus

Total count: 7

Problemlösen mit PROLOG

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

Springer1996-09-01
Applications of Declarative Programming and Knowledge Management15th 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

Springer London, Limited2005-01-01
Practical Aspects of Declarative Languages9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Springer London, Limited2007-01-01
Declarative Programming and Knowledge ManagementDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Springer2014-01-01
Functional and Constraint Logic Programming28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Springer International Publishing AG2021-01-01
Functional and Logic Programming16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Springer International Publishing AG2022-01-01