Complete axiomatizations of some quotient term algebras (Q685393): 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.1016/0304-3975(93)90108-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2070687667
@@ Property / OpenAlex ID: W2070687667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818292
@@ Property / cites work: Q3818292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779785
@@ Property / cites work: Q3779785 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038726
@@ Property / cites work: Q4038726 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations of some quotient term algebras
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702507
@@ Property / cites work: Q3702507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976027
@@ Property / cites work: Q3976027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789064
@@ Property / cites work: Q3789064 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+Higher-order unification, polymorphism, and subsorts
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358706
@@ Property / cites work: Q3358706 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the existential theory of infinite terms with subterm relation
+Normal rank