Browse by mentor
Now showing items 1-2 of 2
-
Bisimulations for Kripke models of Fuzzy Multimodal Logics
(Универзитет у Нишу, Природно-математички факултет, 2022) -
Poboljšani algoritmi za determinizaciju fazi i težinskih automata
(Универзитет у Нишу, Природно-математички факултет, 30-08-2019)