Vedran Cacic

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 2

Top Topics

Hausdorff Distance

Probability Theory

Top Venues

Logica Universalis

Arch. Math. Log.

Theor. Comput. Sci.

Publications

Tin Adlesic, Vedran Cacic
A Modern Rigorous Approach to Stratification in NF/NFU. Logica Universalis 16 (3) (2022)
Vedran Cacic, Marko Horvat, Zvonko Iljazovic
Computable subcontinua of semicomputable chainable Hausdorff continua. Theor. Comput. Sci. 892 (2021)
Vedran Cacic, Vjekoslav Kovac
On the share of closed IL formulas which are also in GL. Arch. Math. Log. 54 (7-8) (2015)
Vedran Cacic, Domagoj Vrgoc
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. Stud Logica 101 (1) (2013)