Regressive computations characterize logarithmic space
type: Item
instance of: scholarly article
title: Regressive computations characterize logarithmic space
zbMATH Open document ID: 1353.68087
author: S. Mazzanti
published in: Information and Computation
publication date: 2016-11-18T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 68Q15
zbMATH DE Number: 6654477
zbMATH Keywords: logspace computable function
zbMATH Keywords: recursion on notation
zbMATH Keywords: regressive machine
MaRDI profile type: Publication
full work available at URL: j.ic.2016.07.002
OpenAlex ID: W2483796587
cites work: Q5586401
cites work: Neat function algebraic characterizations of LOGSPACE and LINSPACE
cites work: LOGSPACE and PTIME characterized by programming languages
cites work: A machine description and the hierarchy of initial Grzegorczyk classes
cites work: Q4850548
cites work: Q3081649
cites work: Programming Languages and Systems
cites work: Applicative theories for logarithmic complexity classes
cites work: Predecessor machines
cites work: Unbounded recursion and non-size-increasing functions
DOI: 10.1016/J.IC.2016.07.002
Recommended article: On logarithmic-space computable real numbers
Recommended article: Logarithmically convergent relaxation computation
Recommended article: L-Recursion and a new Logic for Logarithmic Space
Recommended article: L-recursion and a new logic for logarithmic space
Recommended article: Approximation in (Poly-) logarithmic space
Recommended article: Approximation in (Poly-) Logarithmic Space
Recommended article: Unambiguous functions in logarithmic space
Recommended article: Q4359462
Recommended article: Q5447224
Recommended article: Q3832697
description: scientific article; zbMATH DE number 6654477