Browsing eNauka

Browsing by Project [451-03-66/2024-03/200139]

Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)TypeМp-cat.
2025Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebrasStanković, Marko  ; Ćirić, Miroslav  ; Stanimirović, Stefan  ; Stakić, Đorđe  Научни чланак
21a+M21a+ - Водећи међународни часопис категорије M21a+
2025Breadth-first fuzzy bisimulations for fuzzy automataStanimirovic, Stefan  ; Nguyen, Linh Anh; Ciric, Miroslav  ; Stankovic, Marko  Article
21a+M21a+