Pages that link to "Item:Q3978179"
From MaRDI portal
The following pages link to Equality-Test and If-Then-Else Algebras: Axiomatization and Specification (Q3978179):
Displaying 16 items.
- Adas and the equational theory of if-then-else (Q690107) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Axiomatisation des tests (Q1062748) (← links)
- Guard modules (Q1080645) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- On the algebra of disjoint alternatives (Q1915884) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY (Q3988833) (← links)
- A Mathematical Life (Q4586411) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← 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)
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS (Q5850783) (← links)
