Matej Dostl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2023
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CALCO | Strongly Finitary Monads for Varieties of Quantitative Algebras. | Jir Admek, Matej Dostl, Jir Velebil |
| 2016 | WoLLIC | Expressivity of Many-Valued Modal Logics, Coalgebraically. | Marta Blkov, Matej Dostl |
| 2013 | CALCO | Many-Valued Relation Lifting and Moss' Coalgebraic Logic. | Marta Blkov, Matej Dostl |