Termination Tools in Ordered Completion (Q5747788): Difference between revisions

@@ Property / cites work @@
+Equational inference, canonical proofs, and proof orderings
+Normal rank
@@ Property / cites work @@
+Q3427354
@@ Property / cites work: Q3427354 / rank @@
+Normal rank
@@ Property / cites work @@
+Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809080
@@ Property / cites work: Q4809080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion for multiple reduction orderings
@@ Property / cites work: Completion for multiple reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-completion with Termination Tools (System Description)
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
+Normal rank
@@ Property / cites work @@
+Total termination of term rewriting is undecidable
+Normal rank