Search results for: Michael Hanus
Fundamenta Informaticae > 2020 > Vol. 173, nr 4 > 285--314
Formal Aspects of Computing > 2017 > 29 > 3 > 475-494
Lecture Notes in Computer Science > Logic Programming > 265-279
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Functional-Logic Programming > 47-62
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tools for Program Development > 6-22
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 370-384
Lecture Notes in Computer Science > TAPSOFT '89 > 225-240
Lecture Notes in Computer Science > Logic Programming > Functional and Constraint Logic Programming > 87-101
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Contributed Papers > 84-100
Lecture Notes in Computer Science > Functional and Logic Programming > Program Analysis and Transformation > 326-342