The following pages link to (Q4673439):
Displaying 11 items.
- Internal axioms for domain semirings (Q627202) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)
