Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Rohde, Philipp"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Solving the sabotage game is
P
SPACE-hard
Christof Löding
,
Philipp Rohde
Lecture Notes in Computer Science
2747
, 2003, pp. 531-540
Model checking and satisfiability for sabotage modal logic
Christof Löding
,
Philipp Rohde
Lecture Notes in Computer Science
2914
, 2003, pp. 302-313
Expressive power of monadic second-order logic and modal
\mu
-calculus
Philipp Rohde
Lecture Notes in Computer Science
2500
, 2002, pp. 239-257