Pages that link to "Item:Q5902058"
From MaRDI portal
The following pages link to Theory and Applications of Relational Structures as Knowledge Instruments (Q5902058):
Displayed 14 items.
- Multirelations with infinite computations (Q406449) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- A topological duality for monotone expansions of semilattices (Q2105676) (← links)
- Monotonic distributive semilattices (Q2279678) (← links)
- Multirelational representation theorems for complete idempotent left semirings. (Q2347913) (← links)
- Angelicism in the Theory of Reactive Processes (Q2814614) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)