Jancar, Petr
-
BRICS Report Series Nr. 8 (2004): RS-8 Highly Undecidable Questions for Process Algebras - Artikler
Highly Undecidable Questions for Process Algebras
Resumé PDF (English) -
BRICS Report Series Nr. 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems - Artikler
Undecidability Results for Bisimilarity on Prefix Rewrite Systems
Resumé PDF (English)