Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. On Determinism in Modal Transition Systems
      BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, 410/2009, No 41, p. 4026-4043. ISSN 0304-3975.
      Name in Czech: O determinismu v modálních přechodových systémech
      RIV/00216224:14330/09:00029307 Article in a journal. Informatics. English. Netherlands.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: compositional verification; modal transition systems; determinism; refinement; consistency
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Nikola Beneš, Ph.D., učo 72525. Changed: 24/10/2013 16:20.
      More: https://is.muni.cz/publication/833643/en

    2001

    1. Odpovídám, tedy existuji (I answer, then I exists)
      KROB, Josef. Odpovídám, tedy existuji (I answer, then I exists). Pro-Fil - Elektronický časopis pro filozofii. Brno: Katedra filosofie FF MU, 2001, vol. 2, No 1, p. 1-5. ISSN 1212-9007.
      URL URL
      Name (in English): I answer, then I exists
      RIV/00216224:14210/01:00004147 Article in a journal. Philosophy and religion. Czech. Czech Republic.
      Krob, Josef (203 Czech Republic, guarantor)
      Keywords in English: time; determinism; existencialism; phyiscs; reductionism
      Changed by: prof. PhDr. Josef Krob, CSc., učo 414. Changed: 14/6/2007 14:59.
      More: https://is.muni.cz/publication/360551/en

    2000

    1. Ontologie a otázka poznatelnosti světa (Ontology and The Question of Cognition)
      KROB, Josef. Ontologie a otázka poznatelnosti světa (Ontology and The Question of Cognition). Prométheus. Hradec Králové: ÚFSV PedF UHK, 2000, vol. 5, No 16, p. 12-15. ISSN 1211-8400.
      Name (in English): Ontology and The Question of Cognition
      RIV/00216224:14210/00:00003359 Article in a journal. Philosophy and religion. Czech. Czech Republic.
      Krob, Josef (203 Czech Republic)
      Keywords in English: ontology; gnoseology; horizon; determinism;
      Changed by: Hana Holmanová, učo 1028. Changed: 1/11/2004 11:20.
      More: https://is.muni.cz/publication/338651/en
Displayed: 26/4/2024 13:51