Multi-completion with termination tools (Q352956): Difference between revisions

@@ Property / describes a project that uses @@
+Tyrolean
@@ Property / describes a project that uses: Tyrolean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mkbTT
@@ Property / describes a project that uses: mkbTT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Slothrop
@@ Property / describes a project that uses: Slothrop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MU-TERM
@@ Property / describes a project that uses: MU-TERM / 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-012-9249-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1995618662
@@ Property / OpenAlex ID: W1995618662 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Termination of Context-Sensitive Rewriting with MU-TERM
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pair criteria for completion
@@ Property / cites work: Critical pair criteria for completion / rank @@
+Normal rank
@@ Property / cites work @@
+Equational inference, canonical proofs, and proof orderings
+Normal rank
@@ Property / cites work @@
+Q4234323
@@ Property / cites work: Q4234323 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence, Uniqueness, and Construction of Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Q4524770
@@ Property / cites work: Q4524770 / rank @@
+Normal rank
@@ Property / cites work @@
+Only prime superpositions need be considered in the Knuth-Bendix completion procedure
+Normal rank
@@ Property / cites work @@
+Q5389074
@@ Property / cites work: Q5389074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702510
@@ Property / cites work: Q3702510 / 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 @@
+Q4225064
@@ Property / cites work: Q4225064 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with discrimination-tree indexing and path indexing for term retrieval
+Normal rank
@@ Property / cites work @@
+About the rewriting systems produced by the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-completion with Termination Tools (System Description)
+Normal rank
@@ Property / cites work @@
+Q4942621
@@ Property / cites work: Q4942621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751378
@@ Property / cites work: Q2751378 / rank @@
+Normal rank
@@ Property / cites work @@
+Knuth-Bendix completion of theories of commuting group endomorphisms
+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 @@
+The anatomy of vampire. Implementing bottom-up procedures with code trees
+Normal rank
@@ Property / cites work @@
+Q4539595
@@ Property / cites work: Q4539595 / rank @@
+Normal rank
@@ Property / cites work @@
+Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
+Normal rank
@@ Property / cites work @@
+Q2848691
@@ Property / cites work: Q2848691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702509
@@ Property / cites work: Q3702509 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Tools in Ordered Completion
@@ Property / cites work: Termination Tools in Ordered Completion / rank @@
+Normal rank
@@ Property / cites work @@
+AC Completion with Termination Tools
@@ Property / cites work: AC Completion with Termination Tools / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389156
@@ Property / cites work: Q5389156 / rank @@
+Normal rank