Претрага
Резултати
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
The multiplicative fragment of the Yanov equational theory [2003]
Dolinka Igor
A graph-based framework for sub-pixel image segmentation [2011]
Malmberg, F.; Lindblad, J.; Sladoje Matić, Nataša; Nyström, I.
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
A tableau-like proof procedure for normal modal logics [1994]
Ognjanović, Zoran
Graphs of plural cuts [2013]
Došen, Kosta ; Petrić, Zoran
Bisimulations for weighted automata over an additively idempotent semiring
[2014]
Damljanović, Nada ; Ćirić, Miroslav ; Ignjatović, Jelena
Филтери
По типу
- 30