Linear Time Computable Problems and First-Order Descriptions

Detlef Seese. Linear Time Computable Problems and First-Order Descriptions. Mathematical Structures in Computer Science, 6(6):505-526, 1996.

@article{Seese96,
  title = {Linear Time Computable Problems and First-Order Descriptions},
  author = {Detlef Seese},
  year = {1996},
  researchr = {https://researchr.org/publication/Seese96},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {6},
  number = {6},
  pages = {505-526},
}