Pages that link to "Item:Q5850783"
From MaRDI portal
The following pages link to SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783):
Displaying 14 items.
- Boolean-like algebras (Q353355) (← links)
- Axioms for function semigroups with agreement quasi-order. (Q647315) (← links)
- Comparison semigroups and algebras of transformations. (Q711608) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Programs over semigroups of dot-depth one (Q1575738) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- Semigroup actions on posets and preimage quasi-orders (Q1939489) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Relations in linear algebra (Q2401016) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← 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)
- (Q5410346) (← links)
- Cartesian closed varieties. I: The classification theorem (Q6610059) (← links)