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.

Abstract

Abstract is missing.