Претрага
Резултати
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, JovisaA note on the paper “On Brlek-Reutenauer conjecture” [2012]
Bašić Bojan
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
On generalized highly potential words (✓) [2020]
Ago, Kristina ; Bašić, Bojan ; Hačko, Stefan ; Popović, Danijela
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
Филтери
По типу
- 28