Pages that link to "Item:Q1602558"
From MaRDI portal
The following pages link to Characterizing determinacy in Kleene algebras (Q1602558):
Displaying 15 items.
- Algebraic separation logic (Q549676) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Characterizing determinacy in Kleene algebras (Q1602558) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- On \(*\)-\(\lambda\)-semirings. (Q2456471) (← links)
- Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic (Q2864394) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Determinisation of Relational Substitutions in Ordered Categories with Domain (Q3498418) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
