Completeness of Park induction (Q1391869): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030266
@@ Property / cites work: Q3030266 / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATION ALGEBRAS
@@ Property / cites work: ITERATION ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on equational theories of relations
@@ Property / cites work: Notes on equational theories of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Solving polynomial fixed point equations
@@ Property / cites work: Solving polynomial fixed point equations / rank @@
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of rooted trees
@@ Property / cites work: On the algebraic structure of rooted trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957911
@@ Property / cites work: Q3957911 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of iteration theories
@@ Property / cites work: Algebras of iteration theories / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of the equational axioms for iteration theories
+Normal rank
@@ Property / cites work @@
+Q5203698
@@ Property / cites work: Q5203698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222756
@@ Property / cites work: Q4222756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375811
@@ Property / cites work: Q4375811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068086
@@ Property / cites work: Q4068086 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+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 / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Transformer Semantics
@@ Property / cites work: Predicate Transformer Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Scott induction and closure under \(\omega\)-sups
@@ Property / cites work: Scott induction and closure under \(\omega\)-sups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+On flowchart theories. I. The deterministic case
@@ Property / cites work: On flowchart theories. I. The deterministic case / rank @@
+Normal rank
@@ Property / cites work @@
+On flowchart theories. II: The nondeterministic case
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00240-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2091780332
@@ Property / OpenAlex ID: W2091780332 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391869