Recursive Path Orderings Can Also Be Incremental (Q5387842)
From MaRDI portal
scientific article; zbMATH DE number 5279527
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursive Path Orderings Can Also Be Incremental |
scientific article; zbMATH DE number 5279527 |
Statements
Recursive Path Orderings Can Also Be Incremental (English)
0 references
27 May 2008
0 references
