Browsing eNauka
Browsing by Project [451-03-66/2024-03/200139]
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras | Stanković, Marko   ; Ćirić, Miroslav ; Stanimirović, Stefan ; Stakić, Đorđe | Article | 21a+M21a+ |
| 2025 | Breadth-first fuzzy bisimulations for fuzzy automata | Stanimirovic, Stefan ; Nguyen, Linh Anh; Ciric, Miroslav ; Stankovic, Marko | Article | 21a+M21a+ |