Претрага




Резултати

Shuffles and concatenations in the construction of graphs   [2012]

Došen, Kosta  ; Petrić, Zoran  

On permuting cut with contraction (✓)   [2000]

Borisavljević, Mirjana  ; Došen, Kosta  ; Petrić, Zoran

Isomorphic objects in symmetric monoidal closed categoriest   [1997]

Došen, Kosta  ; Petrić, Zoran  

Plugging-in proof development environments using Locks in LF   [2018]

Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan

Formalising PFSQL queries using ŁΠ fuzzy logic (✓)   [2011]

Perović, Aleksandar  ; Takači, Aleksandar  ; Škrbić, Srđan  

Coherence for monoidal monads and comonads   [2010]

Došen, Kosta  ; Petrić, Zoran  

Coherence for monoidal endofunctors   [2010]

Došen, Kosta  ; Petrić, Zoran  

Linked data privacy (✓)   [2015]

Jakšić, Svetlana ; Pantović, Jovanka  ; Gilezan, Silvia  

Isomorphic objects in symmetric monoidal closed categories   [1997]

Došen, Kosta  ; Petrić, Zoran

Филтери

По типу