On ground AC-completion (Q5055778): 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/3-540-53904-2_114
+Normal rank
@@ Property / OpenAlex ID @@
+W2158674509
@@ Property / OpenAlex ID: W2158674509 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+On ground AC-completion
@@ Property / cites work: On ground AC-completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5783653
@@ Property / cites work: Q5783653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583066
@@ Property / cites work: Q5583066 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5055778