Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines

Iain A. Stewart. Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. In Anil Nerode, Michael A. Taitslin, editors, Logical Foundations of Computer Science - Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Volume 620 of Lecture Notes in Computer Science, pages 470-479, Springer, 1992.

@inproceedings{Stewart92:0,
  title = {Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines},
  author = {Iain A. Stewart},
  year = {1992},
  researchr = {https://researchr.org/publication/Stewart92%3A0},
  cites = {0},
  citedby = {0},
  pages = {470-479},
  booktitle = {Logical Foundations of Computer Science - Tver  92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
  editor = {Anil Nerode and Michael A. Taitslin},
  volume = {620},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55707-5},
}