Filtrování

    2008

    1. Undecidability of Bisimilarity by Defender's Forcing
      JANČAR, Petr a Jiří SRBA. Undecidability of Bisimilarity by Defender's Forcing. Journal of the ACM. New York: ACM, 2008, roč. 55/2008, č. 1, s. 1-26. ISSN 0004-5411.
      Podrobněji: https://is.muni.cz/publication/780198/cs

    2006

    1. Undecidability Results for Bisimilarity on Prefix Rewrite Systems
      JANČAR, Petr a Jiří SRBA. Undecidability Results for Bisimilarity on Prefix Rewrite Systems. LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06). Netherlands: Spinger-Verlag, 2006, roč. 2006, č. 3921, s. 277-291.
      Podrobněji: https://is.muni.cz/publication/702212/cs

    2003

    1. Undecidability of Weak Bisimilarity for PA-Processes
      SRBA, Jiří. Undecidability of Weak Bisimilarity for PA-Processes. In Proceedings of 6th International Conference on Developments in Language Theory (DLT'02),. Netherlands: Springer-Verlag, 2003, s. 197-208.
      Podrobněji: https://is.muni.cz/publication/492120/cs

    1998

    1. A Comparison between the First Hypothesis of Plato´s Parmenides and the Undecidable Sentence of Kurt Godel
      ŠVANDOVÁ, Blažena. A Comparison between the First Hypothesis of Plato´s Parmenides and the Undecidable Sentence of Kurt Godel. In Abstracts of Logic Colloquium´98. první. Prague: The Association for Symbolic Logic, 1998, s. neuv., 1 s. ISBN neuvedeno.
      Podrobněji: https://is.muni.cz/publication/254571/cs

    1996

    1. O nerozhodnutelných větách v díle PM a příbuzných systémech I
      ŠVANDOVÁ, Blažena (překlad.). O nerozhodnutelných větách v díle PM a příbuzných systémech I. In MALINA, Jaroslav a Jan NOVOTNÝ. Kurt Godel. první. Brno: Masarykova univerzita, 1996. Osobnosti. ISBN 80-901604-5-X.
      Podrobněji: https://is.muni.cz/publication/254352/cs
Zobrazit podrobně