direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Professor Dr. Stephan Kreutzer

Contact details
EMail:
stephan.kreutzer@tu-berlin.de
Phone:
+49 30 314 29088
Office:
TEL 711a
Personal web page:
For further information follow this link to my homepage at Oxford

Publications

Anuj Dawar and Erich Grädel and Stephan Kreutzer (2006). Backtracking games and inflationary fixed points. Theor. Comput. Sci., 174-187.




Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte (2010). Extended Computation Tree Logic. CoRR



Julian C. Bradfield and Stephan Kreutzer (2005). The Complexity of Independence-Friendly Fixpoint Logic. CSL, 355-368.



Achim Bluemnsath and Stephan Kreutzer (2005). An Extension of Muchnik's Theorem. J. Log. Comput., 59-74.



Stephan Kreutzer (2008). Algorithmic Meta-theorems. IWPEC, 10-12.






Anuj Dawar and Martin Grohe and Stephan Kreutzer (2007). Locally Excluding a Minor. LICS, 270-279.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Anschrift

Technische Universität Berlin
Logik und Semantik
Institut für Softwaretechnik und Theoretische Informatik
Fakultät IV
Sekr. TEL 7-3
Raum TEL 711
Ernst-Reuter-Platz 7
10587 Berlin
+49 30 314 29089
+49 30 314 29037