Procházení Publikační činnost Katedry informatiky / Publications of Department of Computer Science (460) dle typu dokumentu "proceedings paper"

Zobrazují se záznamy 1-1 z 1

Selected ideas used for decidability and undecidability of bisimilarity

Jančar, Petr (Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : Proceedings. 2008, p. 56-71.)