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

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




Stephan Kreutzer (2004). Expressive equivalence of least and inflationary fixed-point logic. Ann. Pure Appl. Logic, 61-78.


Stephan Kreutzer (2002). Partial Fixed-Point Logic on Infinite Structures. CSL, 337-351.


Stephan Kreutzer and Martin Otto and Nicole Schweikardt (2007). Boundedness of Monadic FO over Acyclic Structures. ICALP, 571-582.


Stephan Kreutzer (2009). Algorithmic Meta-Theorems. CoRR


Stephan Kreutzer and Martin Lange (2008). Non-regular fixed-point logics and games. Logic and Automata, 423-456.


Stephan Kreutzer and Anuj Dawar (2009). Parameterized Complexity of First-Order Logic. Electronic Colloquium on Computational Complexity (ECCC), 131.


Stephan Kreutzer (2000). Fixed-Point Query Languages for Linear Constraint Databases. PODS, 116-125.



Stephan Kreutzer and Nicole Schweikardt (2004). Logik und Informatik. it - Information Technology, 162-166.



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


Stephan Kreutzer and Sebastian Ordyniak (2009). Distance -Domination Games. WG, 308-319.


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