Publication Records

1999

1. A Logical Viewpoint on Process-Algebraic Quotients

   KUČERA, Antonín and Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer, 1999, p. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.

   More: https://is.muni.cz/publication/208571/en