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

Fedor V. Fomin and Pierre Fraigniaud and Stephan Kreutzer and Dimitrios M. Thilikos (2011). Special Issue on . Theor. Comput. Sci., 2699.


Stephan Kreutzer and Siamak Tazari (2011). Directed Nowhere Dense Classes of Graphs. CoRR


Ken-ichi Kawarabayashi and Stephan Kreutzer and Bojan Mohar (2010). Linkless and flat embeddings in 3-space and the unknot problem. Symposium on Computational Geometry, 97-106.


Stephan Kreutzer and Siamak Tazari (2010). Lower Bounds for the Complexity of Monadic Second-Order Logic. CoRR



Roland Axelsson and Matthew Hague and Stephan Kreutzer and Martin Lange and Markus Latte (2010). Extended Computation Tree Logic. LPAR (Yogyakarta), 67-81.



Stephan Kreutzer and Siamak Tazari (2010). Lower Bounds for the Complexity of Monadic Second-Order Logic. LICS, 189-198.





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





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