Pretraga




Rezultati

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

Bašić Bojan  

Behavioural inverse limit λ-models   [2004]

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

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

Operators on classes of coalgebras   [2001]

Mašulović Dragan  ; Tasić B.

A graph-based framework for sub-pixel image segmentation   [2011]

Malmberg, F.; Lindblad, J.; Sladoje Matić, Nataša ; Nyström, I.

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL   [2010]

Marić, Filip  

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

Filteri

Po tipu