The Power of Non-determinism in Higher-Order Implicit Complexity (Q2988663)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Power of Non-determinism in Higher-Order Implicit Complexity |
scientific article |
Statements
The Power of Non-determinism in Higher-Order Implicit Complexity (English)
0 references
19 May 2017
0 references
implicit computational complexity
0 references
cons-free programming
0 references
EXPTIME hierarchy
0 references
nondeterministic programming
0 references
unitary variables
0 references
0 references
