Pages that link to "Item:Q1646607"

The following pages link to Monoids of non-halting programs with tests (Q1646607):

Displaying 2 items.

• 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)