Výpis publikací

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.

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.

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.

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.