Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710): Difference between revisions

@@ Property / cites work @@
+SOLVING SYMBOLIC ORDERING CONSTRAINTS
@@ Property / cites work: SOLVING SYMBOLIC ORDERING CONSTRAINTS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936127
@@ Property / cites work: Q4936127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954438
@@ Property / cites work: Q4954438 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036585
@@ Property / cites work: Q4036585 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3683533
@@ Property / cites work: Q3683533 / rank @@
+Normal rank
@@ Property / cites work @@
+On recursive path ordering
@@ Property / cites work: On recursive path ordering / rank @@
+Normal rank
@@ Property / cites work @@
+On the recursive decomposition ordering with lexicographical status and other related orderings
+Normal rank
@@ Property / cites work @@
+Q4263810
@@ Property / cites work: Q4263810 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple LPO constraint solving methods
@@ Property / cites work: Simple LPO constraint solving methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938596
@@ Property / cites work: Q4938596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264721
@@ Property / cites work: Q4264721 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with ordering and equality constrained clauses
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank