Termination of rewriting systems by polynomial interpretations and its implementation (Q579930): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
This paper describes the actual implementation in the rewrite rule laboratory REVE of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given. | |||
| Property / review text: This paper describes the actual implementation in the rewrite rule laboratory REVE of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given. / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q99 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68W30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N99 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 4016194 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
rewrite rule laboratory REVE | |||
| Property / zbMATH Keywords: rewrite rule laboratory REVE / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
inequalities between polynomials | |||
| Property / zbMATH Keywords: inequalities between polynomials / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
termination of rewriting systems | |||
| Property / zbMATH Keywords: termination of rewriting systems / rank | |||
Normal rank | |||
Revision as of 17:33, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination of rewriting systems by polynomial interpretations and its implementation |
scientific article |
Statements
Termination of rewriting systems by polynomial interpretations and its implementation (English)
0 references
1987
0 references
This paper describes the actual implementation in the rewrite rule laboratory REVE of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given.
0 references
rewrite rule laboratory REVE
0 references
inequalities between polynomials
0 references
termination of rewriting systems
0 references
