Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092): Difference between revisions

@@ Property / cites work @@
+Q4083007
@@ Property / cites work: Q4083007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234174
@@ Property / cites work: Q4234174 / rank @@
+Normal rank
@@ Property / cites work @@
+Computations in APS
@@ Property / cites work: Computations in APS / rank @@
+Normal rank
@@ Property / cites work @@
+History and basic features of the critical-pair/completion procedure
+Normal rank
@@ Property / cites work @@
+Strategy-accurate parallel Buchberger algorithms
@@ Property / cites work: Strategy-accurate parallel Buchberger algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel computation of Gröbner bases on distributed memory machines
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Mixed computation: potential applications and problems for study
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank