Kleene Theorem in Partial Conway Theories with Applications (Q3098034): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-24897-9_4
+Normal rank
@@ Property / OpenAlex ID @@
+W100377933
@@ Property / OpenAlex ID: W100377933 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable formal power series on trees
@@ Property / cites work: Recognizable formal power series on trees / 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 @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449535
@@ Property / cites work: Q4449535 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing rational power series over natural numbers
+Normal rank
@@ Property / cites work @@
+Q5506336
@@ Property / cites work: Q5506336 / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar and vector iteration
@@ Property / cites work: Scalar and vector iteration / rank @@
+Normal rank
@@ Property / cites work @@
+The rank of a formal tree power series
@@ Property / cites work: The rank of a formal tree power series / rank @@
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / 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 @@
+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 @@
+Partial Conway and Iteration Semiring-Semimodule Pairs
+Normal rank
@@ Property / cites work @@
+Iteration Grove Theories with Applications
@@ Property / cites work: Iteration Grove Theories with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449537
@@ Property / cites work: Q4449537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431478
@@ Property / cites work: Q3431478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+On a Theorem of R. Jungen
@@ Property / cites work: On a Theorem of R. Jungen / rank @@
+Normal rank