L-Recursion and a new Logic for Logarithmic Space

DOI10.2168/LMCS-9(1:11)2013zbMath1260.68168OpenAlexW2014767626MaRDI QIDQ4913774

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

Publication date: 9 April 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-9(1:11)2013

zbMATH Keywords

logarithmic spacedescriptive complexityfixed-point logics

Mathematics Subject Classification ID

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

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