Logic Programming and Logarithmic Space

DOI10.1007/978-3-319-12736-1_3zbMath1453.68033arXiv1406.2110OpenAlexW106040974MaRDI QIDQ2789034

Thomas Seiller, Clément Aubert, Marc Bagnol, Paolo Pistone

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

automataproof theoryunificationlogic programminglogarithmic spacegeometry of interactionpointer machinesimplicit complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Logic in computer science (03B70) Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ Unary Resolution: Characterizing Ptime ⋮ Transcendental syntax I: deterministic case

This page was built for publication: Logic Programming and Logarithmic Space