L-Recursion and a new Logic for Logarithmic Space (Q4913774)
From MaRDI portal
scientific article; zbMATH DE number 6152241
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | L-Recursion and a new Logic for Logarithmic Space |
scientific article; zbMATH DE number 6152241 |
Statements
L-Recursion and a new Logic for Logarithmic Space (English)
0 references
9 April 2013
0 references
descriptive complexity
0 references
logarithmic space
0 references
fixed-point logics
0 references
