Prof. Dr. Dirk Pattinson

Aktuelle Kontaktadresse

Land	Australien
Ort	Canberra
Universität/Institution	Australian National University
Institut/Abteilung	School of Computing

Fachgebiet	Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre
Keywords	Recursion Theory, Coinductive Techniques, Computational Complexity