An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (Q6159936): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| label / en | label / en | ||
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.4230/LIPIcs.FSCD.2021.19 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W3184922846 / rank | |||
Normal rank | |||
| Property / title | |||
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (English) | |||
| Property / title: An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (English) / rank | |||
Normal rank | |||
Latest revision as of 10:55, 30 July 2024
scientific article; zbMATH DE number 7700624
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems |
scientific article; zbMATH DE number 7700624 |
Statements
23 June 2023
0 references
recursive path ordering
0 references
permutation equation
0 references
permutation group
0 references
rewrite system
0 references
completion
0 references
ground completion
0 references
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems (English)
0 references
