An efficient representation of arithmetic for term rewriting (Q5055764): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Termination of rewriting / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5581665 / rank | |||
Normal rank | |||
Latest revision as of 01:58, 31 July 2024
scientific article; zbMATH DE number 7631171
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An efficient representation of arithmetic for term rewriting |
scientific article; zbMATH DE number 7631171 |
Statements
An efficient representation of arithmetic for term rewriting (English)
0 references
9 December 2022
0 references
