People:Aart Middeldorp
From Termination-Portal.org
Jump to navigationJump to search
Aart Middeldorp
- Professor in the Department of Institute of Computer Science (University of Innsbruck, Austria)
- home page: http://cl-informatik.uibk.ac.at/~ami/
- email: mailto:aart.middeldorp_at_uibk.ac.at