Претрага
Резултати
Linked data privacy (✓) [2015]
Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, SilviaIsomorphic objects in symmetric monoidal closed categoriest [1997]
Došen, Kosta ; Petrić, ZoranOn permuting cut with contraction (✓) [2000]
Borisavljević, Mirjana ; Došen, Kosta ; Petrić, ZoranIsomorphic objects in symmetric monoidal closed categories [1997]
Došen, Kosta ; Petrić, ZoranCoherence for monoidal monads and comonads [2010]
Došen, Kosta ; Petrić, ZoranCoherence for monoidal endofunctors [2010]
Došen, Kosta ; Petrić, ZoranFormalising PFSQL queries using ŁΠ fuzzy logic (✓) [2011]
Perović, Aleksandar ; Takači, Aleksandar ; Škrbić, SrđanPlugging-in proof development environments using Locks in LF [2018]
Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, IvanShuffles and concatenations in the construction of graphs [2012]
Došen, Kosta ; Petrić, ZoranФилтери
По типу