Some Programming Languages for Logspace and Ptime

DOI10.1007/11784180_8zbMath1236.68074OpenAlexW1488933458MaRDI QIDQ3623925

Guillaume Bonfante

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00105744/file/bonfante.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (6)

Computation by interaction for space-bounded functional programming ⋮ Unnamed Item ⋮ Read/write factorizable programs ⋮ Unnamed Item ⋮ The Power of Non-determinism in Higher-Order Implicit Complexity ⋮ Ramified Corecurrence and Logspace

This page was built for publication: Some Programming Languages for Logspace and Ptime