Masaryk University

Publication Records

česky | in English

Filter publications

    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
Display details
Displayed: 20/9/2024 05:45