Pages that link to "Item:Q2347912"
From MaRDI portal
The following pages link to Completeness results for omega-regular algebras (Q2347912):
Displaying 6 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Approach to the construction of algebraic models of algorithms and programs (Q1364100) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Towards a Typed Omega Algebra (Q3007578) (← links)
- The Ohm-Rush content function III: Completion, globalization, and power-content algebras (Q5034898) (← links)