Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. 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.
  2. 2006

  3. 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.
  4. 2003

  5. 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, 12 s.
  6. 1998

  7. Š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.
  8. 1996

  9. Š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.
Zobrazit podrobně
Zobrazeno: 15. 8. 2020 14:14