Logic-Based Program Synthesis and Transformation More Books by Michael Hanus

Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2023
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2022
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2018
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
Applications of Declarative Programming and Knowledge Management
2009