Lazy Relations (Q3498411): 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-540-78913-0_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2911911075
@@ Property / OpenAlex ID: W2911911075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362882
@@ Property / cites work: Q4362882 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebraic semantics of deterministic and nondeterministic programs
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159365
@@ Property / cites work: Q4159365 / rank @@
+Normal rank
@@ Property / cites work @@
+Programs, Recursion and Unbounded Choice
@@ Property / cites work: Programs, Recursion and Unbounded Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536898
@@ Property / cites work: Q4536898 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional programming with side-effects
@@ Property / cites work: Functional programming with side-effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality. I: Embedding relation algebras
@@ Property / cites work: Partiality. I: Embedding relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362876
@@ Property / cites work: Q4362876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041054
@@ Property / cites work: Q4041054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791727
@@ Property / cites work: Q4791727 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Points of Order Preserving Multifunctions
@@ Property / cites work: Fixed Points of Order Preserving Multifunctions / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Isotone relations and the fixed point property for posets
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank