L-Recursion and a new Logic for Logarithmic Space

DOI10.4230/LIPICS.CSL.2011.277zbMath1247.68104arXiv1212.6567OpenAlexW2963610628MaRDI QIDQ2915689

Berit Grußien, André Hernich, Bastian Laubner, Martin Grohe

Publication date: 18 September 2012

Full work available at URL: https://arxiv.org/abs/1212.6567

zbMATH Keywords

logarithmic spacedescriptive complexityfixed-point logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Related Items (2)

Unnamed Item ⋮ Choiceless Logarithmic Space

This page was built for publication: L-Recursion and a new Logic for Logarithmic Space