Project Details
Person
Professor Dr. Hans Jürgen Ohlbach
Address
Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
80538 München
-
As Participating Researcher
-
Completed projects
-
GRK 301: Logic in Computer Science (Research Training Groups)
-
-
Completed projects
