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: Journal=Theor.~Comput.~Sci. AND Volume=560, Part 3
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Down the Borel hierarchy: Solving Muller games via safety games
Daniel Neider
,
Roman Rabinovich
,
Martin Zimmermann
Theoretical Computer Science
560, Part 3
, 2014, pp. 219-234
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Felix Canavoi
,
Erich Grädel
,
Roman Rabinovich
Theoretical Computer Science
560, Part 3
, 2014, pp. 235-250
Validating XML document adaptations via Hedge Automata transformations
Alessandro Solimando
,
Giorgio Delzanno
,
Giovanna Guerrini
Theoretical Computer Science
560, Part 3
, 2014, pp. 251-268
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
Davide Bresolin
,
Dario Della Monica
,
Angelo Montanari
,
Pietro Sala
,
Guido Sciavicco
Theoretical Computer Science
560, Part 3
, 2014, pp. 269-291
The
\mu
-calculus alternation hierarchy collapses over structures with restricted connectivity
Julian Gutierrez
,
Felix Klaedtke
,
Martin Lange
Theoretical Computer Science
560, Part 3
, 2014, pp. 292-306
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone
,
Cristiano Longo
Theoretical Computer Science
560, Part 3
, 2014, pp. 307-325
Model-checking process equivalences
Martin Lange
,
Etienne Lozes
,
Manuel Vargas Guzmán
Theoretical Computer Science
560, Part 3
, 2014, pp. 326-347
Interface simulation distances
Pavol C̑erný
,
Martin Chmelík
,
Thomas A. Henzinger
,
Arjun Radhakrishna
Theoretical Computer Science
560, Part 3
, 2014, pp. 348-363
Program verification using symbolic game semantics
Aleksandar S. Dimovski
Theoretical Computer Science
560, Part 3
, 2014, pp. 364-379