Pages that link to "Item:Q690107"
From MaRDI portal
The following pages link to Adas and the equational theory of if-then-else (Q690107):
Displaying 8 items.
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
- Barycentric Algebras and Gene Expression (Q3638385) (← links)
- Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241) (← links)
- Convex sets and barycentric algebras (Q5236831) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) (← links)
