Pretraga




Rezultati

A tableau-like proof procedure for normal modal logics   [1994]

Ognjanović, Zoran  

Proving properties of the Chord protocol using the ASM formalism   [2019]

Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran  

Erdos-Szekeres Maker-Breaker games   [2026]

Dzuklevski, Aleksa; Palvolgyi, Domotor; Pokrovskiy, Alexey; Toth, Csaba D; Valla, Tomas; Verlinde, Lander

Chromatic index of graphs with no cycle with a unique chord   [2010]

Machado, R.C.S.; de, Figueiredo C.M.H.; Vušković, Kristina  

A characterization of 2-threshold functions via pairs of prime segments   [2022]

Zamaraeva, Elena; Zunic, Jovisa

Behavioural inverse limit λ-models   [2004]

Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  ; Likavec, Silvia  

Unary algebras, semigroups and congruences on free semigroups   [2004]

Petković, Tatjana; Ćirić, Miroslav  ; Bogdanović, Stojan

A note on the paper “On Brlek-Reutenauer conjecture”   [2012]

Bašić Bojan  

Flexible Scheduling of Transactional Memory on Trees   [2023]

Busch, Costas; Chlebus, Bogdan; Herlihy, Maurice; Popović, Miroslav  ; Poudel, Pavan; Sharma, Gokarna

The multiplicative fragment of the Yanov equational theory   [2003]

Dolinka Igor  

Filteri

Po tipu