Logarithmic space and permutations

DOI10.1016/j.ic.2014.01.018zbMath1339.68095arXiv1301.3189OpenAlexW2137388237MaRDI QIDQ276248

Clément Aubert, Thomas Seiller

Publication date: 3 May 2016

Published in: Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

complexitylinear logicfinite automatalogarithmic spacegeometry of interactionpointer machine

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Interaction graphs: graphings ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach ⋮ Unnamed Item ⋮ Unary Resolution: Characterizing Ptime

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Geometry of interaction. V: Logic in the hyperfinite factor
• Interaction graphs: multiplicatives
• Some operator inequalities concerning generalized inverses
• Interaction graphs: additives
• Linear logic and elementary time
• On non-determinacy in simple computing devices
• Nondeterministic Space is Closed under Complementation
• Normativity in Logic
• On Multi-Head Finite Automata
• Theory of operator algebras I.

This page was built for publication: Logarithmic space and permutations