Pregled po CROSBI profilu: Domagoj Vrgoč (CROSBI Profil: 10389, MBZ: 303822)
Pronađeno 3 radova
-
1.Čačić, Vedran; Vrgoč, DomagojA Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44 doi:10.1007/s11225-011-9366-7 (međunarodna recenzija, članak, znanstveni)
-
2.Domagoj, Vrgoč; Mladen VukovićBisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)
-
3.Čačić, Vedran; Doko, Marko; Horvat, Marko; Vrgoč, DomagojChanging the order of summation for series beyond omega // The Bulletin of Symbolic Logic
Sofija, Bugarska: ASL, 2010. 1, 1 (predavanje, međunarodna recenzija, sažetak, znanstveni)
