Automating the Knuth Bendix ordering (Q751830): Difference between revisions

The paper describes an algorithm that automatically constructs a Knuth- Bendix ordering for a finite system of terms rewriting rules if one such exists. The algorithm is based on a practical and simple algorithm to solve systems of linear inequalities.

0 references

zbMATH Keywords

completion algorithm

0 references

Knuth-Bendix ordering

0 references

reviewed by

Matthias Jantzen

0 references

describes a project that uses

REVE

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Rewriting systems on FP expressions to reduce the number of sequences yielded

0 references

Q3894958

0 references

Termination of rewriting systems by polynomial interpretations and its implementation

0 references

Q4079613

0 references

Orderings for term-rewriting systems

0 references

Termination of rewriting

0 references

Q3696498

0 references

Systems of predicative analysis, II: Representations of ordinals

0 references

Q5721624

0 references

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

0 references

Ordering by Divisibility in Abstract Algebras

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0715.68044

0 references

DOI

10.1007/BF01237233

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

journals/acta/DickKM90

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:751830

@@ Property / author @@
-Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
-Normal rank
@@ Property / reviewed by @@
-Matthias Jantzen
@@ Property / reviewed by: Matthias Jantzen / rank @@
-Normal rank
@@ Property / author @@
+Ursula Martin Webb
@@ Property / author: Ursula Martin Webb / rank @@
+Normal rank
@@ Property / reviewed by @@
+Matthias Jantzen
@@ Property / reviewed by: Matthias Jantzen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REVE
@@ Property / describes a project that uses: REVE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q55393323
@@ Property / Wikidata QID: Q55393323 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting systems on FP expressions to reduce the number of sequences yielded
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting systems by polynomial interpretations and its implementation
+Normal rank
@@ Property / cites work @@
+Q4079613
@@ Property / cites work: Q4079613 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696498
@@ Property / cites work: Q3696498 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Q5721624
@@ Property / cites work: Q5721624 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3286625
@@ Property / cites work: Q3286625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430288
@@ Property / cites work: Q4430288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3779786
@@ Property / cites work: Q3779786 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696501
@@ Property / cites work: Q3696501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3266142
@@ Property / cites work: Q3266142 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/acta/DickKM90
@@ Property / DBLP publication ID: journals/acta/DickKM90 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:751830