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

@@ Property / author @@
-Stephen L. Bloom
@@ Property / author: Stephen L. Bloom / rank @@
-Normal rank
@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
+Stephen L. Bloom
@@ Property / author: Stephen L. Bloom / rank @@
+Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129500000104
+Normal rank
@@ Property / OpenAlex ID @@
+W2008967744
@@ Property / OpenAlex ID: W2008967744 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4279247