Complexity Hierarchies and Higher-Order Cons-Free Rewriting. (Q5369488)
From MaRDI portal
scientific article; zbMATH DE number 6792356
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity Hierarchies and Higher-Order Cons-Free Rewriting. |
scientific article; zbMATH DE number 6792356 |
Statements
17 October 2017
0 references
higher-order term rewriting
0 references
implicit complexity
0 references
cons-freeness
0 references
ETIME hierarchy
0 references
Complexity Hierarchies and Higher-Order Cons-Free Rewriting. (English)
0 references
