Christian STERNAGEL

Projekt-Nummer
J-3202

Projekt-Titel
Offene Induktion, Kruskals Theorem und Einfache Terminierung

Forschungsstätte
Japan Advanced Institute of Science and Technology
Department of Information Science

Laufzeit
15.11.2011 bis 14.12.2014

Zurück zur Übersicht