Michael Hanus

Sách
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
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2006
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009