Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines

Iain A. Stewart. Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 410-424, Springer, 1992.

@inproceedings{Stewart92:2,
  title = {Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines},
  author = {Iain A. Stewart},
  year = {1992},
  researchr = {https://researchr.org/publication/Stewart92%3A2},
  cites = {0},
  citedby = {0},
  pages = {410-424},
  booktitle = {Computer Science Logic, 6th Workshop, CSL  92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers},
  editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Simone Martini and Michael M. Richter},
  volume = {702},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56992-8},
}