Combined Hierarchies of Finite Random Access Machines A. P. Bel'tyukov OriginalPaper Pages: 4943 - 4947
Algorithms for Sat and Upper Bounds on Their Complexity M. A. VsemirnovE. A. HirschS. V. Ivanov OriginalPaper Pages: 4948 - 4962
Doubly-Exponential Growth of the Number of Vectors of Multipilicities for Solutions of Systems of Polynomial D. Yu. Grigoriev OriginalPaper Pages: 4963 - 4965
Upper Bounds on Height of Terms in a Solution of a Semiunification Problem V. B. Zhizhkun OriginalPaper Pages: 4966 - 4981
Upper Bound on the Height of Terms in Proofs with Bound-Depth-Restricted Cuts B. Yu. Konev OriginalPaper Pages: 4982 - 4993
A Polynomial Lower Bound on the Size of a k-Min-Wise Independent Set of Permutations S. A. Norin OriginalPaper Pages: 4994 - 5000