Filtrování

    2003

    1. Undecidability of Domino Games and Hhp-Bisimilarity J - Článek v odborném periodiku
      JURDZINSKI, Martin; Nielsen MOGENS a Jiří SRBA. Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation. Netherlands: Springer-Verlag, 2003, roč. 184, č. 2, s. 343-368. ISSN 0890-5401.
      Podrobněji: https://is.muni.cz/publication/492122/cs
Zobrazit podrobně