The following pages link to Demonic Algebra with Domain (Q5459177):
Displayed 11 items.
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- Left restriction monoids from left \(E\)-completions (Q2161143) (← links)
- How to generalise demonic composition (Q2227636) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Axioms for signatures with domain and demonic composition (Q2663185) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Ehresmann-Schein-Nambooripad theorems for classes of biunary semigroups (Q6145725) (← links)