Pages that link to "Item:Q604456"
From MaRDI portal
The following pages link to Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456):
Displayed 5 items.
- Programming and automating mathematics in the Tarski-Kleene hierarchy (Q406433) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)