Algebraic properties of <tt>if-then-else</tt> and commutative three-valued tests (Q4968241): Difference between revisions

@@ Property / cites work @@
+Actions of Boolean rings on sets
@@ Property / cites work: Actions of Boolean rings on sets / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ”If-Then-Else“
@@ Property / cites work: Varieties of ”If-Then-Else“ / rank @@
+Normal rank
@@ Property / cites work @@
+Injective de Morgan and Kleene Algebras
@@ Property / cites work: Injective de Morgan and Kleene Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+On the Axiomatization of “If-Then-Else”
@@ Property / cites work: On the Axiomatization of “If-Then-Else” / rank @@
+Normal rank
@@ Property / cites work @@
+An invitation to \(C\)-semigroups
@@ Property / cites work: An invitation to \(C\)-semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
+Normal rank
@@ Property / cites work @@
+MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Monoids with tests and the algebra of possibly non-halting programs
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Adas and the equational theory of if-then-else
@@ Property / cites work: Adas and the equational theory of if-then-else / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests
+Normal rank
@@ Property / cites work @@
+Monoids of non-halting programs with tests
@@ Property / cites work: Monoids of non-halting programs with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
+Normal rank
@@ Property / cites work @@
+Q5182409
@@ Property / cites work: Q5182409 / rank @@
+Normal rank