CPO's of measures for nondeterminism (Q1139367): Difference between revisions

@@ Property / author @@
-Nasser Saheb-Djahromi
@@ Property / author: Nasser Saheb-Djahromi / rank @@
-Normal rank
@@ Property / author @@
+Nasser Saheb-Djahromi
@@ Property / author: Nasser Saheb-Djahromi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / 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)90003-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2082241908
@@ Property / OpenAlex ID: W2082241908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181349
@@ Property / cites work: Q5181349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5332706
@@ Property / cites work: Q5332706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3941433
@@ Property / cites work: Q3941433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131338
@@ Property / cites work: Q4131338 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4164569
@@ Property / cites work: Q4164569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593890
@@ Property / cites work: Q5593890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179849
@@ Property / cites work: Q4179849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661516
@@ Property / cites work: Q5661516 / rank @@
+Normal rank