×

zbMATH — the first resource for mathematics

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).

MSC:
68Q25 Analysis of algorithms and problem complexity
15B48 Positive matrices and their generalizations; cones of matrices