Complexity-Theoretic Hierarchies Induced by Fragments of Gödel s ::::T::::

Lars Kristiansen. Complexity-Theoretic Hierarchies Induced by Fragments of Gödel s ::::T::::. Theory Comput. Syst., 43(3-4):516-541, 2008. [doi]

@article{Kristiansen08-0,
  title = {Complexity-Theoretic Hierarchies Induced by Fragments of Gödel s ::::T::::},
  author = {Lars Kristiansen},
  year = {2008},
  doi = {10.1007/s00224-007-9021-x},
  url = {http://dx.doi.org/10.1007/s00224-007-9021-x},
  researchr = {https://researchr.org/publication/Kristiansen08-0},
  cites = {0},
  citedby = {0},
  journal = {Theory Comput. Syst.},
  volume = {43},
  number = {3-4},
  pages = {516-541},
}