Pregled po projektu: HRZZ-IP-01-2018- 7459
Pronađeno 2 radova
-
1.Mas Rovira, Jan; Mikec, Luka; Joosten, Joost J.Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 86-90 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni) -
2.Mikec, Luka; Joosten, Joost J.; Vuković, MladenA W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 60-64 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
