A Lower Bound on Complexity of Branching Programs (Extended Abstract)

Pavel Pudlák. A Lower Bound on Complexity of Branching Programs (Extended Abstract). In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 480-489, Springer, 1984.

Abstract

Abstract is missing.