Výpis publikací

2003

1. A Logical Viewpoint on Process-algebraic Quotients

   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.

   Podrobněji: https://is.muni.cz/publication/491615/cs