Positive Dedalus programs tolerate non-causality (Q2453541): Difference between revisions

@@ Property / cites work @@
+Declarative Distributed Computing
@@ Property / cites work: Declarative Distributed Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Relational transducers for declarative networking
@@ Property / cites work: Relational transducers for declarative networking / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-bounded bottom-up evaluation of logic programs
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning
+Normal rank
@@ Property / cites work @@
+Temporal stratification tests for linear and branching-time deductive databases
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Fairness and hyperfairness
@@ Property / cites work: Fairness and hyperfairness / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of deterministic and nondeterministic extensions of Datalog
+Normal rank
@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Datalog LITE
@@ Property / cites work: Datalog LITE / rank @@
+Normal rank