Jurdzinski, Marcin
-
BRICS Report Series Nr. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable - Artikler
Hereditary History Preserving Simulation is Undecidable
Resumé PDF (English) -
BRICS Report Series Nr. 48 (2000): RS-48 A Discrete Stratety Improvement Algorithm for Solving Parity Games - Artikler
A Discrete Stratety Improvement Algorithm for Solving Parity Games
Resumé PDF (English) -
BRICS Report Series Nr. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable - Artikler
Hereditary History Preserving Bisimilarity is Undecidable
Resumé PDF (English)