Relaxing monotonicity for innermost termination (Q835006): Difference between revisions

@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q4809069
@@ Property / cites work: Q4809069 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular termination proofs for rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Q4412115
@@ Property / cites work: Q4412115 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation techniques for context-sensitive rewrite systems
+Normal rank
@@ Property / cites work @@
+Q3408137
@@ Property / cites work: Q3408137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494366
@@ Property / cites work: Q4494366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259966
@@ Property / cites work: Q4259966 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Rewriting with Strategy Annotations
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4447238
@@ Property / cites work: Q4447238 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of context-sensitive rewriting
@@ Property / cites work: Termination of context-sensitive rewriting / rank @@
+Normal rank