Solving simplification ordering constraints (Q5096318): Difference between revisions

@@ Property / cites work @@
+About the theory of tree embedding
@@ Property / cites work: About the theory of tree embedding / rank @@
+Normal rank
@@ Property / cites work @@
+SOLVING SYMBOLIC ORDERING CONSTRAINTS
@@ Property / cites work: SOLVING SYMBOLIC ORDERING CONSTRAINTS / 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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036585
@@ Property / cites work: Q4036585 / 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 @@
+Q4264721
@@ Property / cites work: Q4264721 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial time termination and constraint satisfaction tests
+Normal rank
@@ Property / cites work @@
+A new method for undecidability proofs of first order theories
+Normal rank