M
Michael Hanus
8 works on record
Works

Algebraic and logic programming

Problemlösen mit PROLOG

Declarative Programming and Knowledge Management

Practical Aspects of Declarative Languages
Integration of declarative paradigms
Integration of declarative paradigms
Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
Functional and Logic Programming
Functional and Logic Programming