Complete axiomatizations of some quotient term algebras (Q685393): Difference between revisions

@@ 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