Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    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.
      Název česky: Nerozhodnutelnost bisimulace pomoci tlaku obránce
      Název anglicky: Undecidability of Bisimilarity by Defender's Forcing
      RIV/00216224:14330/08:00026472 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Jančar, Petr (203 Česká republika) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: undecidability; bisimilarity; rewrite systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 29. 9. 2008 22:32.
      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.
      Název česky: Nerozhodnutelnost Bisimulace na Prefixovych Prepisovacich Systemech
      Název anglicky: Undecidability Results for Bisimilarity on Prefix Rewrite Systems
      RIV/00216224:14330/06:00015979 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Jančar, Petr (203 Česká republika) -- Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: bisimilarity; undecidability; prefix rewriting
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. JUDr. Vladimír Šmíd, CSc., učo 1084. Změněno: 6. 7. 2007 09:01.
      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.
      URL
      Název anglicky: Undecidability of Weak Bisimilarity for PA-Processes
      RIV/00216224:14330/03:00008469 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Srba, Jiří (203 Česká republika, garant)
      Klíčová slova anglicky: weak bisimilarity; undecidability; PA-processes
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 26. 5. 2004 13:39.
      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.
      Název anglicky: A Comparison Between the First Hypothesis of Plato´s Parmenides and the Undecidable Sentence of Kurt Godel
      RIV: Stať ve sborníku. Filosofie a náboženství. angličtina. Česká republika.
      Klíčová slova anglicky: undecidability; paradox; incompleteness
      Změnila: RNDr. Blažena Švandová, Ph.D., učo 1421. Změněno: 29. 3. 2000 16:11.
      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.
      Obecná matematika.
      Klíčová slova anglicky: paradox; undecidability; incompleteness
      Změnil: prof. RNDr. Jan Novotný, CSc., učo 2603. Změněno: 8. 2. 2002 15:10.
      Podrobněji: https://is.muni.cz/publication/254352/cs
Zobrazeno: 26. 4. 2024 11:31