Jaromczyk, Jerzy W. An extension of Rabin’s complete proof concept. (English) Zbl 0471.68026 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 321-326 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents MSC: 68Q25 Analysis of algorithms and problem complexity 15B48 Positive matrices and their generalizations; cones of matrices Keywords:linear forms; time complexity; decision trees; systems of higher degree polynomials PDF BibTeX XML