Michael Hanus

Practical Aspects of Declarative Languages

٢٠٢٣

Functional and Logic Programming

٢٠٢٢

Declarative Programming and Knowledge Management

٢٠١٨

Declarative Programming and Knowledge Management

٢٠١٤

Practical Aspects of Declarative Languages

٢٠٠٦

Logic-Based Program Synthesis and Transformation

٢٠٠٩