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 6 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)
- Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
