Transforming SAT into Termination of Rewriting (Q4982632): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.07.023
@@ Property / DOI: 10.1016/j.entcs.2009.07.023 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Matchbox
@@ Property / describes a project that uses: Matchbox / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2058475217
@@ Property / OpenAlex ID: W2058475217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447246
@@ Property / cites work: Q4447246 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Solving Partial Order Constraints for LPO Termination
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the Knuth Bendix ordering
@@ Property / cites work: Automating the Knuth Bendix ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+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 @@
+Orienting rewrite rules with the Knuth-Bendix order.
+Normal rank
@@ Property / cites work @@
+Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
+Normal rank
@@ Property / cites work @@
+Satisfying KBO Constraints
@@ Property / cites work: Satisfying KBO Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.07.023
@@ Property / DOI: 10.1016/J.ENTCS.2009.07.023 / rank @@
+Normal rank