A linguistic characterization of bounded oracle computation and probabilistic polynomial time | IEEE Conference Publication | IEEE Xplore