Output details
11 - Computer Science and Informatics
University of Liverpool
Article title
L-Recursion and a new Logic for Logarithmic Space
Type
D - Journal article
DOI
-
Title of journal
Logical Methods in Computer Science
Article number
11
Volume number
9
Issue number
-
First page of article
-
ISSN of journal
1860-5974
Year of publication
2013
URL
-
Number of additional authors
3
Additional information
<11>This article is based on the CSL'11 paper with the same title, and was invited to LMCS. It addresses the problem of finding a logic capable of describing exactly the problems solvable with logarithmic space over unordered structures. This problem was first raised by Immerman and Lander in 1990.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
