unbekannter Gast

Univ.-Prof. Dr. Aart Middeldorp#

kein Foto vorhanden

Position
Univ.Professor
Universität
Universität Innsbruck
Institut
Institut für Informatik
Arbeitsgebiet
Computational Logic, Term Rewriting, Termination, Tree Automata, Theorem Proving, Automated Reasoning
E-Mail
aart.middeldorp@uibk.ac.at
Web-Site
http://cl-informatik.uibk.ac.at/~ami
Besondere Aktivitäten
-
Mitgliedschaften
-
Projekte
-
Publikationen
-
Anschrift
-
Ort
Innsbruck
Telefon
-
Anmerkung
-
Benutzer-ID: a.middeldorp



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#