Metric interpretations of infinite trees and semantics of non deterministic recursive programs (Q1136494): Difference between revisions

@@ Property / author @@
-Maurice Nivat
@@ Property / author: Maurice Nivat / rank @@
-Normal rank
@@ Property / author @@
+Maurice Nivat
@@ Property / author: Maurice Nivat / 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.1016/0304-3975(80)90045-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2023309117
@@ Property / OpenAlex ID: W2023309117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134908
@@ Property / cites work: Q4134908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932751
@@ Property / cites work: Q3932751 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164787
@@ Property / cites work: Q4164787 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1136494