Pretraga




Rezultati

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

Bašić Bojan  

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

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

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

On generalized highly potential words   [2020]

Ago, Kristina  ; Bašić, Bojan  ; Hačko, Stefan  ; Popović, Danijela  

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

Marić, Filip  

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

The multiplicative fragment of the Yanov equational theory   [2003]

Dolinka Igor  

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

Ognjanović, Zoran  

Filteri

Po tipu