Výpis publikací

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

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

KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. Online. 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. s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5

KUČERA, Antonín. Deciding Regularity in Process Algebras. Online. BRICS Report Series. Denmark: BRICS, roč. 1995, RS-95-52, s. 1-42. ISSN 0909-0878