The Logarithmic Alternation Hierarchiy Collapses: A Sigma^C_2 = A Pi^C_2

Klaus-Jörn Lange, Birgit Jenner, Bernd Kirsig. The Logarithmic Alternation Hierarchiy Collapses: A Sigma^C_2 = A Pi^C_2. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 531-541, Springer, 1987.

Abstract

Abstract is missing.