A proof of Moessner's theorem by coinduction (Q1929334): Difference between revisions

@@ Property / author @@
+Milad Niqui
@@ Property / author: Milad Niqui / rank @@
+Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ 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/s10990-012-9082-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2121484930
@@ Property / OpenAlex ID: W2121484930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / 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 @@
+Q5812198
@@ Property / cites work: Q5812198 / rank @@
+Normal rank
@@ Property / cites work @@
+Sampling, Splitting and Merging in Coinductive Stream Calculus
+Normal rank
@@ Property / cites work @@
+Q5812199
@@ Property / cites work: Q5812199 / rank @@
+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 @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank