Orderings for term-rewriting systems (Q593789): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(82)90026-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2086747974
@@ Property / OpenAlex ID: W2086747974 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56814377
@@ Property / Wikidata QID: Q56814377 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques
+Normal rank
@@ Property / cites work @@
+Decision procedures for real and <i>p</i>‐adic fields
+Normal rank
@@ Property / cites work @@
+A note on simplification orderings
@@ Property / cites work: A note on simplification orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+New decision algorithms for finitely presented commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q4195948
@@ Property / cites work: Q4195948 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic simplification
@@ Property / cites work: Algebraic simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank