Termination of rewriting systems by polynomial interpretations and its implementation (Q579930): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| 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 | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 01:41, 5 March 2024
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
