
doi: 10.1137/0212047
Four classes of algebras are considered. The algebras in each class contain functions whose behavior models a version of the “if-then-else” instruction. In one version, for example, the algebras contain a function $\kappa $ of four arguments such that $\kappa (x,y,u,v) = u$ if $x = y$ and $\kappa (x,y,u,v) = v$ if $x \ne y$. None of the considered classes is an equational class, but equational axioms are found for each class such that an equation is valid in the class if it is derivable in standard equational logic from the axioms.
equational logic, General topics in the theory of software, control flow, Abstract data types; algebraic specification
equational logic, General topics in the theory of software, control flow, Abstract data types; algebraic specification
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 38 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
