If you made any changes in Pure these will be visible here soon.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Tensor of quantitative equational theories

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 3 Sep 2021. 29 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • Fixed-points for quantitative equational logics

    Mardare, R., Panangaden, P. & Plotkin, G., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, Vol. 1. p. 1-13 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Downloads (Pure)