Strictly orthogonal left linear rewrite systems and primitive recursion (Q5935986)
From MaRDI portal
scientific article; zbMATH DE number 1612846
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strictly orthogonal left linear rewrite systems and primitive recursion |
scientific article; zbMATH DE number 1612846 |
Statements
Strictly orthogonal left linear rewrite systems and primitive recursion (English)
0 references
2 July 2001
0 references
rewrite system
0 references
