The following pages link to (Q2994262):
Displaying 4 items.
- Logical characterizations of simulation and bisimulation for fuzzy transition systems (Q679804) (← links)
- Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)