Christian STERNAGEL

project number
J-3202

project title
Offene Induktion, Kruskals Theorem und Einfache Terminierung

research place
Japan Advanced Institute of Science and Technology
Department of Information Science

duration
15.11.2011 to 14.12.2014

back to overview