Unification and Logarithmic Space

DOI10.1007/978-3-319-08918-8_6zbMath1416.68076arXiv1402.4327OpenAlexW3101368285MaRDI QIDQ5170809

Clément Aubert, Marc Bagnol

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

proof theoryunificationlogarithmic spacegeometry of interactionpointer machinesimplicit complexity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Logic programming (68N17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Unnamed Item ⋮ Unary Resolution: Characterizing Ptime

This page was built for publication: Unification and Logarithmic Space