Combining matching algorithms: The regular case (Q1186723): Difference between revisions

@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Matching - a special case of unification?
@@ Property / cites work: Matching - a special case of unification? / 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 @@
+An overview of LP, the Larch Prover
@@ Property / cites work: An overview of LP, the Larch Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786019
@@ Property / cites work: Q3786019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835440
@@ Property / cites work: Q3835440 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Unification in a combination of arbitrary disjoint equational theories
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3313256
@@ Property / cites work: Q3313256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785922
@@ Property / cites work: Q3785922 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030272
@@ Property / cites work: Q3030272 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in combinations of collapse-free regular theories
+Normal rank