Pages that link to "Item:Q5940918"
From MaRDI portal
The following pages link to Quantales, finite observations and strong bisimulation (Q5940918):
Displaying 29 items.
- On the power-set \(Q\)-algebras (Q284662) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- On a generalization of the concept of state property system (Q416295) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Fuzzy algebras as a framework for fuzzy topology (Q549319) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- Representation theorems for \(Q\)-algebras (Q666689) (← links)
- Roughness and fuzziness in quantales. (Q726315) (← links)
- Variable-basis topological systems versus variable-basis topological spaces (Q989684) (← links)
- Localic sup-lattices and tropological systems. (Q1427786) (← links)
- Tropological systems are points of quantales (Q1612161) (← links)
- Quantale algebras as lattice-valued quantales (Q1701738) (← links)
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales (Q1715731) (← links)
- Value semigroups, value quantales, and positivity domains (Q1789673) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- An abstract theory of physical measurements (Q2062513) (← links)
- Generalized approximation of substructures in quantales by soft relations (Q2301033) (← links)
- Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales (Q2310477) (← links)
- Rieffel induction and strong Morita equivalence in the context of Hilbert modules (Q2500756) (← links)
- A noncommutative theory of Penrose tilings (Q2575470) (← links)
- On the geometry of physical measurements: topological and algebraic aspects (Q2684760) (← links)
- Characterization of projective quantales (Q2811986) (← links)
- Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
- (Q3148769) (← links)
- Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)
- The limit and tensor product in the category of Q-P quantale modules (Q5069784) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Constructing \(Q\)-algebras from \(Q\)-modules (Q6083140) (← links)
