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

@@ Property / DOI @@
-.1016/j.entcs.2008.03.050
@@ Property / DOI: 10.1016/j.entcs.2008.03.050 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.03.050
+Normal rank
@@ Property / OpenAlex ID @@
+W2028113860
@@ Property / OpenAlex ID: W2028113860 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2008.03.050
@@ Property / DOI: 10.1016/J.ENTCS.2008.03.050 / rank @@
+Normal rank