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 (2004). Backtracking Games and Inflationary Fixed Points. ICALP, 420-432.


Anuj Dawar and Erich Grädel and Stephan Kreutzer (2004). Inflationary fixed points in modal logic. ACM Trans. Comput. Log., 282-315.


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


Dietmar Berwanger and Anuj Dawar and Paul Hunter and Stephan Kreutzer (2006). DAG-Width and Parity Games. STACS, 524-536.



Stephan Kreutzer and Sebastian Ordyniak (2008). Digraph Decompositions and Monotonicity in Digraph Searching. CoRR



Anuj Dawar and Stephan Kreutzer (2008). On Datalog vs. LFP. ICALP (2), 160-171.






Martin Grohe and Stephan Kreutzer and Nicole Schweikardt (2005). The Expressive Power of Two-Variable Least Fixed-Point Logics. MFCS, 422-434.


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