Distributing equational theorem proving (Q5055785): Difference between revisions

@@ Property / cites work @@
+Distributing equational theorem proving
@@ Property / cites work: Distributing equational theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484358
@@ Property / cites work: Q3484358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281516
@@ Property / cites work: Q4281516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264739
@@ Property / cites work: Q4264739 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336737
@@ Property / cites work: Q3336737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing the closure computation in automated deduction
+Normal rank