Fuzzy simulations and bisimulations between fuzzy automata (Q6099555): Difference between revisions

@@ Property / DOI @@
-.1016/j.ijar.2023.02.002
@@ Property / DOI: 10.1016/j.ijar.2023.02.002 / rank @@
-Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Bisimulations for weighted automata over an additively idempotent semiring
+Normal rank
@@ Property / cites work @@
+Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
+Normal rank
@@ Property / cites work @@
+Fuzzy approximations of fuzzy relational structures
+Normal rank
@@ Property / cites work @@
+Labeled fuzzy approximations based on bisimulations
+Normal rank
@@ Property / cites work @@
+Notions of Bisimulation for Heyting-Valued Modal Languages
+Normal rank
@@ Property / cites work @@
+Logical characterizations of regular equivalence in weighted social networks
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity in chain-based modal logics
@@ Property / cites work: Expressivity in chain-based modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
+Normal rank
@@ Property / cites work @@
+Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
+Normal rank
@@ Property / cites work @@
+Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
+Normal rank
@@ Property / cites work @@
+Logic-Based Roughification
@@ Property / cites work: Logic-Based Roughification / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Lattice-valued simulations for quantitative transition systems
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Limited approximate bisimulations and the corresponding rough approximations
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy transition systems revisited
+Normal rank
@@ Property / cites work @@
+Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Logical characterizations of simulation and bisimulation for fuzzy transition systems
+Normal rank
@@ Property / cites work @@
+Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures
+Normal rank
@@ Property / DOI @@
+.1016/J.IJAR.2023.02.002
@@ Property / DOI: 10.1016/J.IJAR.2023.02.002 / rank @@
+Normal rank