Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\)

From MaRDI portal
Publication:1015376

DOI10.1007/s00224-007-9021-xzbMath1166.03018OpenAlexW2084909062MaRDI QIDQ1015376

Lars Kristiansen

Publication date: 8 May 2009

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-007-9021-x




Related Items (4)



Cites Work




This page was built for publication: Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\)