Diagonalizing over Deterministic Polynomial Time

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig. Diagonalizing over Deterministic Polynomial Time. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings. Volume 329 of Lecture Notes in Computer Science, pages 1-16, Springer, 1987.

Abstract

Abstract is missing.