L-recursion and a new logic for logarithmic space
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68104
author: Martin Grohe
author: Berit Grußien
author: André Hernich
author: Bastian Laubner
publication date: 2012-09-18T00:00:00Z
full work available at URL: https://arxiv.org/abs/1212.6567
full work available at URL: frontdoor 1ecc.html
Mathematics Subject Classification ID: 68Q19
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6083545
zbMATH Keywords: descriptive complexity
zbMATH Keywords: logarithmic space
zbMATH Keywords: fixed-point logics
MaRDI profile type: Publication
arXiv ID: 1212.6567
OpenAlex ID: W2963610628
DOI: 10.4230/LIPICS.CSL.2011.277
title: L-recursion and a new logic for logarithmic space
description: scientific article; zbMATH DE number 6083545