A rewriting calculus for cyclic higher-order term graphs (Q5308094)
From MaRDI portal
scientific article; zbMATH DE number 5195943
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A rewriting calculus for cyclic higher-order term graphs |
scientific article; zbMATH DE number 5195943 |
Statements
A rewriting calculus for cyclic higher-order term graphs (English)
0 references
26 September 2007
0 references
\(\rho_{\mathrm g}\)-calculus
0 references
