Termination proofs and the length of derivations (Q5055719): Difference between revisions

@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833603
@@ Property / cites work: Q3833603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430288
@@ Property / cites work: Q4430288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779786
@@ Property / cites work: Q3779786 / rank @@
+Normal rank