AC-KBO revisited (Q4593023): Difference between revisions

@@ Property / cites work @@
+A Dependency Pair Framework for A ∨ C-Termination
+Normal rank
@@ Property / cites work @@
+Trees in algebra and programming. 6 papers presented at the 22nd and last CAAP conference, Lille, France, April 14--18, 1997
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+SAT solving for termination proofs with recursive path orders and dependency pairs
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778873
@@ Property / cites work: Q2778873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Orienting rewrite rules with the Knuth-Bendix order.
+Normal rank
@@ Property / cites work @@
+On recursive path ordering
@@ Property / cites work: On recursive path ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Things to know when implementing KBO
@@ Property / cites work: Things to know when implementing KBO / rank @@
+Normal rank
@@ Property / cites work @@
+An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
+Normal rank
@@ Property / cites work @@
+Modular and incremental proofs of AC-termination
@@ Property / cites work: Modular and incremental proofs of AC-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Simple termination of rewrite systems
@@ Property / cites work: Simple termination of rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+A fully syntactic AC-RPO.
@@ Property / cites work: A fully syntactic AC-RPO. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+AC-Termination of rewrite systems: A modified Knuth-Bendix ordering
+Normal rank
@@ Property / cites work @@
+On the Formalization of Termination Techniques based on Multiset Orderings
+Normal rank
@@ Property / cites work @@
+Ordinals and Knuth-Bendix Orders
@@ Property / cites work: Ordinals and Knuth-Bendix Orders / rank @@
+Normal rank
@@ Property / cites work @@
+AC-KBO Revisited
@@ Property / cites work: AC-KBO Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+KBO orientability
@@ Property / cites work: KBO orientability / rank @@
+Normal rank