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


Erich Grädel and Stephan Kreutzer (2003). Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions. LICS, 158-.


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



Isolde Adler and Martin Grohe and Stephan Kreutzer (2008). Computing excluded minors. SODA, 641-650.




Stephan Kreutzer (2009). Algorithmic Meta-Theorems. Electronic Colloquium on Computational Complexity (ECCC), 147.


Anuj Dawar and Stephan Kreutzer (2007). Generalising automaticity to modal properties of finite structures. Theor. Comput. Sci., 266-285.


Stephan Kreutzer (2002). Pure and applied fixed-point logics. , 1-231.





Dietmar Berwanger and Erich Grädel and Stephan Kreutzer (2003). Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. LPAR, 229-243.



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