Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

  1. KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-algebraic Quotients. Journal of logic and computation, Oxford: Oxford University Press, 2003, roč. 13, č. 6, s. 863-880. ISSN 0955-792X.
  2. 1999

  3. KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Information Processing Letters, Elsevier, 1999, roč. 70, č. 1, s. 23-30. ISSN 0020-0190.
  4. 1997

  5. KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997. s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5.
  6. 1995

  7. KUČERA, Antonín. Deciding Regularity in Process Algebras. BRICS Report Series, Denmark: BRICS, 1995, roč. 1995, RS-95-52, s. 1-42. ISSN 0909-0878.
Zobrazit podrobně
Zobrazeno: 2. 4. 2020 00:53