Innermost Termination of Rewrite Systems by Labeling (Q2873673): Difference between revisions

@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Predictive Labeling
@@ Property / cites work: Predictive Labeling / rank @@
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+TPA: Termination Proved Automatically
@@ Property / cites work: TPA: Termination Proved Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Predictive Labeling with Dependency Pairs Using SAT
+Normal rank
@@ Property / cites work @@
+Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank