Univ.-Prof. Dr. Aart Middeldorp#

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 nospam@TUGraz.at @uibk.ac.at

Web-Site

http://cl-informatik.uibk.ac.at/~ami

Besondere Aktivitäten

-

Mitgliedschaften

-

Projekte

-

Publikationen

-

Anschrift

-

Ort

Innsbruck

Telefon

-

Anmerkung

-

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#