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="Srba, Ji{\v{r}}{\'{\i}}"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Highly undecidable questions for process algebras
Petr Janc̑ar
,
Jiȓí Srba
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 507-520
On the computational complexity of bisimulation, redux
Faron Moller
,
Scott Smolka
,
Jiȓí Srba
Information and Computation
194
(2), 2004, pp. 129-143
Undecidability of domino games and hhp-bisimilarity
Marcin Jurdziński
,
Mogens Nielsen
,
Jiȓí Srba
Information and Computation
184
(2), 2003, pp. 343-368