KBO orientability (Q846165): Difference between revisions

@@ Property / describes a project that uses @@
+AProVE
@@ Property / describes a project that uses: AProVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPDB
@@ Property / describes a project that uses: TPDB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-009-9131-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2913313741
@@ Property / OpenAlex ID: W2913313741 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Partial Order Constraints for LPO Termination
+Normal rank
@@ Property / cites work @@
+SAT Solving for Argument Filterings
@@ Property / cites work: SAT Solving for Argument Filterings / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix interpretations for proving termination of term rewriting
+Normal rank
@@ Property / cites work @@
+SAT Solving for Termination Analysis with Polynomial Interpretations
+Normal rank
@@ Property / cites work @@
+Maximal Termination
@@ Property / cites work: Maximal Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Search Techniques for Rational Polynomial Orders
@@ Property / cites work: Search Techniques for Rational Polynomial Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Automating the dependency pair method
@@ Property / cites work: Automating the dependency pair method / rank @@
+Normal rank
@@ Property / cites work @@
+Tyrolean termination tool: techniques and features
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Predictive Labeling with Dependency Pairs Using SAT
+Normal rank
@@ Property / cites work @@
+Arctic Termination ...Below Zero
@@ Property / cites work: Arctic Termination ...Below Zero / rank @@
+Normal rank
@@ Property / cites work @@
+Orienting rewrite rules with the Knuth-Bendix order.
+Normal rank
@@ Property / cites work @@
+Derivation lengths and order types of Knuth--Bendix orders
+Normal rank
@@ Property / cites work @@
+Derivational Complexity of Knuth-Bendix Orders Revisited
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination Using Recursive Path Orders and SAT Solving
+Normal rank
@@ Property / cites work @@
+Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
+Normal rank
@@ Property / cites work @@
+Constraints for Argument Filterings
@@ Property / cites work: Constraints for Argument Filterings / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfying KBO Constraints
@@ Property / cites work: Satisfying KBO Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Increasing Interpretations
@@ Property / cites work: Increasing Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Termination by Quasi-periodic Interpretations
@@ Property / cites work: Termination by Quasi-periodic Interpretations / rank @@
+Normal rank