An unexpected separation result in Linearly Bounded Arithmetic
From MaRDI portal
Publication:4666949
DOI10.1002/malq.200410019zbMath1065.03039OpenAlexW2115920428MaRDI QIDQ4666949
Jan Johannsen, Arnold Beckmann
Publication date: 7 April 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200410019
First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)
Cites Work