placeholder image

Hanus, Michael

Person

Positions

Kiel University

selected publications

chapter
- A Virtual Machine for Functional Logic Computations. Springer eBooks. 108-125. 2005

full name

Michael Hanus

Publications in VIVO

Co-author Network