A Final Coalgebra for k-regular Sequences (Q5418973): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-06880-0_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1603039341
@@ Property / OpenAlex ID: W1603039341 / rank @@
+Normal rank
@@ Property / cites work @@
+The ring of \(k\)-regular sequences
@@ Property / cites work: The ring of \(k\)-regular sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+The ring of \(k\)-regular sequences. II.
@@ Property / cites work: The ring of \(k\)-regular sequences. II. / rank @@
+Normal rank
@@ Property / cites work @@
+On the values attained by a \(k\)-regular sequence
+Normal rank
@@ Property / cites work @@
+Q3056218
@@ Property / cites work: Q3056218 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Context-Free Power Series Coalgebraically
+Normal rank
@@ Property / cites work @@
+THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Automatic Sequences and Zip-Specifications
@@ Property / cites work: Automatic Sequences and Zip-Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete stream calculus: An extended study
@@ Property / cites work: Concrete stream calculus: An extended study / rank @@
+Normal rank
@@ Property / cites work @@
+On the Final Coalgebra of Automatic Sequences
@@ Property / cites work: On the Final Coalgebra of Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+The music of streams
@@ Property / cites work: The music of streams / rank @@
+Normal rank
@@ Property / cites work @@
+On some questions regarding \(k\)-regular and \(k\)-context-free sequences
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank