Pretraga




Rezultati

G-dinaturality   [2003]

Petrić, Zoran  

Coherence for star-autonomous categories   [2006]

Došen, Kosta  ; Petrić, Zoran  

Probabilistic temporal logic with countably additive semantics   [2023]

Doder, Dragan; Ognjanović, Zoran  

Can you take Komjath's inaccessible away?   [2024]

Lamei Ramandi, Hossein; Todorčević, Stevo  

Independence of Boolean algebras and forcing   [2003]

Kurilic, Milos S

A cut-elimination proof in intuitionistic predicate logic   [1999]

Borisavljevic, Mirjana  

Basis problem for turbulent actions I: Tsirelson submeasures   [2001]

Farah, Ilijas 

Proofs and surfaces   [2020]

Baralić, Đorđe  ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana  ; Petrić, Zoran  ; Zekić, Mladen  ; Živaljević, Rade  

Alternatives to the Halpern-Lauchli theorem   [2023]

Stefanovic, Nedeljko

Condensational equivalence, equimorphism, elementary equivalence and similar similarities   [2017]

Kurilić, Miloš  ; Morača, Nenad 

Филтери

По типу