Pages that link to "Item:Q2258843"
From MaRDI portal
The following pages link to Monoids with tests and the algebra of possibly non-halting programs (Q2258843):
Displaying 4 items.
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
- Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
