Equational axioms for regular sets (Q4279247): Difference between revisions

@@ Property / cites work @@
+Floyd-Hoare logic in iteration theories
@@ Property / cites work: Floyd-Hoare logic in iteration theories / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of Iteration Theories
@@ Property / cites work: Varieties of Iteration Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing schemes and their behaviors
@@ Property / cites work: Axiomatizing schemes and their behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational logic of circular data type specification
+Normal rank