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

@@ Property / describes a project that uses @@
+APS
@@ Property / describes a project that uses: APS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APS-1
@@ Property / describes a project that uses: APS-1 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1364092