Solving simplification ordering constraints (Q5096318): Difference between revisions

@@ Property / DOI @@
-.1007/BFb0016865
@@ Property / DOI: 10.1007/BFb0016865 / rank @@
-Normal rank
@@ Property / author @@
-Rolf Socher-Ambrosius
@@ Property / author: Rolf Socher-Ambrosius / rank @@
-Normal rank
@@ Property / author @@
+Rolf Socher-Ambrosius
@@ Property / author: Rolf Socher-Ambrosius / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/BFB0016865
@@ Property / DOI: 10.1007/BFB0016865 / rank @@
+Normal rank