Distributing equational theorem proving (Q5055785): 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-662-21551-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1540822142
@@ Property / OpenAlex ID: W1540822142 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5055785