Vedran Cacic

According to our database1, Vedran Cacic authored at least 5 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Computable Approximations of Semicomputable Graphs.
CoRR, 2024

2022
A Modern Rigorous Approach to Stratification in NF/NFU.
Logica Universalis, 2022

2021
Computable subcontinua of semicomputable chainable Hausdorff continua.
Theor. Comput. Sci., 2021

2015
On the share of closed IL formulas which are also in GL.
Arch. Math. Log., 2015

2013
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.
Stud Logica, 2013


  Loading...