THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253): Difference between revisions

@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative 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 @@
+The equational logic of fixed points
@@ Property / cites work: The equational logic of fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Programming With and Without go to Statements
+Normal rank
@@ Property / cites work @@
+Completeness of Park induction
@@ Property / cites work: Completeness of Park induction / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of Kleene algebras of relations with conversion
+Normal rank
@@ Property / cites work @@
+The logic of recursive equations
@@ Property / cites work: The logic of recursive equations / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0218196700000145
+Normal rank
@@ Property / OpenAlex ID @@
+W1963650429
@@ Property / OpenAlex ID: W1963650429 / rank @@
+Normal rank