L-recursion and a new logic for logarithmic space (Q4913774)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: L-recursion and a new logic for logarithmic space |
scientific article; zbMATH DE number 6152241
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9948756098747252
0 references
0.769527792930603
0 references
0.76350998878479
0 references
