Nedashkovskii, N. A. On the solution of systems of linear algebraic equations with symbolic elements. (English) Zbl 1267.65033 J. Sov. Math. 66, No. 6, 2573-2578 (1993); translation from Mat. Metody Fiz.-Mekh. Polya, No. 34, 29–35 (1991). MSC: 65F05 65Y20 65F50 PDFBibTeX XMLCite \textit{N. A. Nedashkovskii}, J. Sov. Math. 66, No. 6, 2573--2578 (1993; Zbl 1267.65033); translation from Mat. Metody Fiz.-Mekh. Polya, No. 34, 29--35 (1991) Full Text: DOI
Gaganov, A. A. Parallel computation of arithmetic expressions involving unary functions. (English. Russian original) Zbl 0726.68036 J. Sov. Math. 55, No. 2, 1541-1552 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 37-52 (1988). MSC: 68W15 68Q25 PDFBibTeX XMLCite \textit{A. A. Gaganov}, J. Sov. Math. 55, No. 2, 1541--1552 (1991; Zbl 0726.68036); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 37--52 (1988) Full Text: DOI
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Solving systems of polynomial inequalities over a real closed field in subexponential time. (English. Russian original) Zbl 0726.65070 J. Sov. Math. 55, No. 2, 1519-1540 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 3-36 (1988). MSC: 65K05 90C30 26D05 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, J. Sov. Math. 55, No. 2, 1519--1540 (1991; Zbl 0726.65070); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 3--36 (1988) Full Text: DOI
Grigor’ev, D. Yu. Complexity of deciding the first-order theory of real closed fields. (English. Russian original) Zbl 0724.12009 J. Sov. Math. 55, No. 2, 1553-1587 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 53-100 (1988). MSC: 12L05 12J15 03B25 68Q25 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 55, No. 2, 1553--1587 (1991; Zbl 0724.12009); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 53--100 (1988) Full Text: DOI
Matiyasevich, Yu. V. Diophantine complexity. (English. Russian original) Zbl 0724.03027 J. Sov. Math. 55, No. 2, 1603-1610 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 122-131 (1988). MSC: 03D15 11D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 55, No. 2, 1603--1610 (1991; Zbl 0724.03027); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 122--131 (1988) Full Text: DOI
Orevkov, V. P. Proof schemata in Hilbert-type axiomatic theories. (English. Russian original) Zbl 0724.03009 J. Sov. Math. 55, No. 2, 1610-1620 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 132-146 (1988). MSC: 03B25 03F20 PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Sov. Math. 55, No. 2, 1610--1620 (1991; Zbl 0724.03009); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 132--146 (1988) Full Text: DOI
Sabitov, I. Kh. Algorithmic testing for the deformability of suspensions. (English. Russian original) Zbl 0705.51017 J. Sov. Math. 51, No. 5, 2584-2586 (1990); translation from Ukr. Geom. Sb. 30, 109-112 (1987). MSC: 51M20 52B10 68Q25 PDFBibTeX XMLCite \textit{I. Kh. Sabitov}, J. Sov. Math. 51, No. 5, 2584--2586 (1990; Zbl 0705.51017); translation from Ukr. Geom. Sb. 30, 109--112 (1987) Full Text: DOI
Chistov, A. L. Polynomial complexity algorithms for computational problems in the theory of algebraic curves. (English. Russian original) Zbl 0779.14024 J. Sov. Math. 59, No. 3, 855-867 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 127-150 (1989). MSC: 14Q05 68Q25 12Y05 14M25 PDFBibTeX XML Full Text: DOI
Orevkov, V. P. Remark on Kreisel’s conjecture. (English. Russian original) Zbl 0779.03021 J. Sov. Math. 59, No. 3, 850-855 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 118-126 (1989). MSC: 03F20 03F30 PDFBibTeX XML Full Text: DOI
Evdokimov, S. A. Factorization of solvable polynomials over finite fields and the generalized Riemann hypothesis. (English. Russian original) Zbl 0779.11060 J. Sov. Math. 59, No. 3, 842-849 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 104-117 (1989). MSC: 11T06 12E05 11Y16 PDFBibTeX XMLCite \textit{S. A. Evdokimov}, J. Sov. Math. 59, No. 3, 842--849 (1989; Zbl 0779.11060); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 104--117 (1989) Full Text: DOI
Grigor’ev, D. Yu. Complexity of factorization and GCD computation for linear ordinary differential operators. (English. Russian original) Zbl 0780.65039 J. Sov. Math. 59, No. 3, 823-841 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 68-103 (1989). MSC: 65L05 34A30 47E05 PDFBibTeX XML
Grigor’ev, D. Yu. Complexity of quantifier elimination in the theory of ordinary differentially closed fields. (English. Russian original) Zbl 0779.03008 J. Sov. Math. 59, No. 3, 814-822 (1992); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 176, 53-67 (1989). MSC: 03C10 03D15 03C60 PDFBibTeX XML
Molchanov, I. N.; Ryabtsev, V. E.; Trigub, A. S. Construction and efficient implementation of implicit preconditioning methods. II. (English. Russian original) Zbl 0793.65013 J. Sov. Math. 66, No. 5, 2459-2465 (1993); translation from Vychisl. Prikl. Mat., Kiev 65, 14-24 (1988). MSC: 65F10 65F35 65F50 65Y20 65Y05 PDFBibTeX XMLCite \textit{I. N. Molchanov} et al., J. Sov. Math. 66, No. 5, 1 (1988; Zbl 0793.65013); translation from Vychisl. Prikl. Mat., Kiev 65, 14--24 (1988) Full Text: DOI
Plyako, A. D. Factorization of large integers. (English. Russian original) Zbl 0663.10006 J. Sov. Math. 43, No. 5, 2693-2698 (1988); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 151, 115-124 (1986). MSC: 11A41 PDFBibTeX XMLCite \textit{A. D. Plyako}, J. Sov. Math. 43, No. 5, 2693--2698 (1988; Zbl 0663.10006); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 151, 115--124 (1986) Full Text: DOI
Zamov, N. K. Restriction of term complexity in derivations and decidable fragments of predicate calculus. (English) Zbl 0645.03008 J. Sov. Math. 41, No. 3, 1039-1044 (1988). MSC: 03B25 03B35 03B10 03F20 PDFBibTeX XMLCite \textit{N. K. Zamov}, J. Sov. Math. 41, No. 3, 1039--1044 (1988; Zbl 0645.03008) Full Text: DOI
Grigor’eva, A. N. Testing planar pictures for isomorphism in linear time. (English. Russian original) Zbl 0739.05064 J. Sov. Math. 55, No. 2, 1588-1602 (1991); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 101-121 (1988). MSC: 05C60 68Q25 05C10 PDFBibTeX XMLCite \textit{A. N. Grigor'eva}, J. Sov. Math. 55, No. 2, 1588--1602 (1988; Zbl 0739.05064); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 174, 101--121 (1988) Full Text: DOI
Molchanov, I. N.; Ryabtsev, V. E.; Trigub, A. S. Construction and efficient implementation of implicit preconditioning methods. I. (English. Russian original) Zbl 0792.65016 J. Sov. Math. 66, No. 2, 2159-2164 (1993); translation from Vychisl. Prikl. Mat., Kiev 63, 42-49 (1987). MSC: 65F10 65F50 65F35 65Y10 65Y20 PDFBibTeX XMLCite \textit{I. N. Molchanov} et al., J. Sov. Math. 66, No. 2, 1 (1987; Zbl 0792.65016); translation from Vychisl. Prikl. Mat., Kiev 63, 42--49 (1987) Full Text: DOI
Lebedinskaya, N. B.; Safonova, T. E. Stability of optimal structured schedule. (English. Russian original) Zbl 0685.90056 J. Sov. Math. 47, No. 6, 2861-2870 (1989); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 159, 56-68 (1987). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{N. B. Lebedinskaya} and \textit{T. E. Safonova}, J. Sov. Math. 47, No. 6, 2861--2870 (1987; Zbl 0685.90056); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 159, 56--68 (1987) Full Text: DOI EuDML
Safonova, T. E. Reconstruction of a consistent schedule in connection with change of the volume of a job. (English) Zbl 0611.90062 J. Sov. Math. 36, 173-185 (1987). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{T. E. Safonova}, J. Sov. Math. 36, 173--185 (1987; Zbl 0611.90062) Full Text: DOI
Pokhodzej, B. B. Complexity and asymptotically optimal algorithms for modeling of absolutely continuous distributions. (English) Zbl 0599.68040 J. Sov. Math. 34, 1831-1838 (1986). MSC: 68Q25 65C99 PDFBibTeX XMLCite \textit{B. B. Pokhodzej}, J. Sov. Math. 34, 1831--1838 (1986; Zbl 0599.68040) Full Text: DOI
Grigor’ev, D. Yu. Factorization of polynomials over a finite field and the solution of systems of algebraic equations. (English) Zbl 0596.12023 J. Sov. Math. 34, 1762-1803 (1986). MSC: 12E12 68Q25 14G99 11T06 14A10 12E05 12D05 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 34, 1762--1803 (1986; Zbl 0596.12023) Full Text: DOI
Chistov, A. L. Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time. (English) Zbl 0596.12022 J. Sov. Math. 34, 1838-1882 (1986). MSC: 12Y05 11Y05 11T06 68W30 14A10 PDFBibTeX XMLCite \textit{A. L. Chistov}, J. Sov. Math. 34, 1838--1882 (1986; Zbl 0596.12022) Full Text: DOI
Ponomarenko, I. N. Polynomial isomorphism algorithm for graphs which do not pinch to \(K_{3,g}\). (English) Zbl 0595.68057 J. Sov. Math. 34, 1819-1831 (1986). MSC: 68R10 68Q25 05C75 PDFBibTeX XMLCite \textit{I. N. Ponomarenko}, J. Sov. Math. 34, 1819--1831 (1986; Zbl 0595.68057) Full Text: DOI
Orevkov, V. P. Upper bound on the lengthening of proofs by cut elimination. (English) Zbl 0595.03050 J. Sov. Math. 34, 1810-1819 (1986). MSC: 03F05 03F20 PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Sov. Math. 34, 1810--1819 (1986; Zbl 0595.03050) Full Text: DOI
Nosov, V. A.; Sachkov, V. N.; Tarakanov, V. E. Combinatorial analysis (nonnegative matrices, algorithmic problems). (English. Russian original) Zbl 0568.05013 J. Sov. Math. 29, 1051-1099 (1985); translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern. 21, 120-178 (1983). Reviewer: I.Strazdins MSC: 05B20 05-02 68Q25 68R10 05B05 05Cxx PDFBibTeX XMLCite \textit{V. A. Nosov} et al., J. Sov. Math. 29, 1051--1099 (1985; Zbl 0568.05013); translation from Itogi Nauki Tekh., Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern. 21, 120--178 (1983) Full Text: DOI
Frumkin, M. A. Complexity questions in number theory. (English) Zbl 0566.10001 J. Sov. Math. 29, 1502-1517 (1985). MSC: 11-02 11A63 68Q25 11D09 11D75 11J70 PDFBibTeX XMLCite \textit{M. A. Frumkin}, J. Sov. Math. 29, 1502--1517 (1985; Zbl 0566.10001) Full Text: DOI
Bel’tyukov, A. P. Complexity lower bounds for machine computing models. (English) Zbl 0563.68046 J. Sov. Math. 29, 1373-1387 (1985). MSC: 68Q25 68Q05 68P10 68-02 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Sov. Math. 29, 1373--1387 (1985; Zbl 0563.68046) Full Text: DOI
Grigor’ev, D. Yu. Lower bounds in algebraic computational complexity. (English) Zbl 0563.68040 J. Sov. Math. 29, 1388-1425 (1985). MSC: 68Q25 68R99 68-02 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 29, 1388--1425 (1985; Zbl 0563.68040) Full Text: DOI
Solodovnikov, V. I. Upper bounds on the complexity of solving systems of linear equations. (English) Zbl 0563.68039 J. Sov. Math. 29, 1482-1501 (1985). MSC: 68Q25 68W99 65F10 68-02 65-02 PDFBibTeX XMLCite \textit{V. I. Solodovnikov}, J. Sov. Math. 29, 1482--1501 (1985; Zbl 0563.68039) Full Text: DOI
Shakhbazyan, K. V. Solution of two sequencing problems. (English) Zbl 0562.90034 J. Sov. Math. 29, 1677-1699 (1985). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{K. V. Shakhbazyan}, J. Sov. Math. 29, 1677--1699 (1985; Zbl 0562.90034) Full Text: DOI
Shakhbazyan, K. V. Algorithm of shifts for optimal structural schedules. (English) Zbl 0562.90033 J. Sov. Math. 29, 1699-1713 (1985). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{K. V. Shakhbazyan}, J. Sov. Math. 29, 1699--1713 (1985; Zbl 0562.90033) Full Text: DOI
Safonova, T. E. Stability of compatible schedules. (English) Zbl 0562.90031 J. Sov. Math. 29, 1660-1670 (1985). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{T. E. Safonova}, J. Sov. Math. 29, 1660--1670 (1985; Zbl 0562.90031) Full Text: DOI
Tushkina, T. A. Computation of a lower bound of the lengths of schedules. (English) Zbl 0562.90030 J. Sov. Math. 29, 1671-1675 (1985). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{T. A. Tushkina}, J. Sov. Math. 29, 1671--1675 (1985; Zbl 0562.90030) Full Text: DOI
Dem’yanovich, Yu. K. Stability and computation time in the variational-difference. (English) Zbl 0559.65074 J. Sov. Math. 28, 275-293 (1985). MSC: 65N12 68Q25 35J40 PDFBibTeX XMLCite \textit{Yu. K. Dem'yanovich}, J. Sov. Math. 28, 275--293 (1985; Zbl 0559.65074) Full Text: DOI
Safonova, T. E. Updating an optimal structured scheme. (English) Zbl 0528.90046 J. Sov. Math. 24, 99-107 (1984). MSC: 90B35 68Q25 65K05 PDFBibTeX XMLCite \textit{T. E. Safonova}, J. Sov. Math. 24, 99--107 (1984; Zbl 0528.90046) Full Text: DOI
Shakhbazyan, K. V. Structural scheduling in the problems of scheduling theory. (English) Zbl 0509.90049 J. Sov. Math. 22, 1248-1253 (1983). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{K. V. Shakhbazyan}, J. Sov. Math. 22, 1248--1253 (1983; Zbl 0509.90049) Full Text: DOI
Lebedinskaya, N. B. Minimization of the maximal penalty in the case of preemption of jobs. (English) Zbl 0509.90048 J. Sov. Math. 22, 1203-1207 (1983). MSC: 90B35 65K05 68Q25 90C90 PDFBibTeX XMLCite \textit{N. B. Lebedinskaya}, J. Sov. Math. 22, 1203--1207 (1983; Zbl 0509.90048) Full Text: DOI
Shakhbazyan, K. V. Scheduling theory problems of type \(n|1|\sum c_i(t)\). (English) Zbl 0509.90047 J. Sov. Math. 22, 1254-1259 (1983). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{K. V. Shakhbazyan}, J. Sov. Math. 22, 1254--1259 (1983; Zbl 0509.90047) Full Text: DOI
Slisenko, A. O. Detection of periodicities and string-matching in real time. (English) Zbl 0509.68043 J. Sov. Math. 22, 1316-1387 (1983). MSC: 68Q25 PDFBibTeX XMLCite \textit{A. O. Slisenko}, J. Sov. Math. 22, 1316--1387 (1983; Zbl 0509.68043) Full Text: DOI
Grigor’eva, A. N. Complexity measures of words based on string matching and edit distance. (English) Zbl 0509.68042 J. Sov. Math. 22, 1290-1293 (1983). MSC: 68Q25 68T99 91E99 PDFBibTeX XMLCite \textit{A. N. Grigor'eva}, J. Sov. Math. 22, 1290--1293 (1983; Zbl 0509.68042) Full Text: DOI
Sidorenko, A. F. Complexity of additive computations of systems of linear forms. (English) Zbl 0509.68039 J. Sov. Math. 22, 1310-1315 (1983). MSC: 68Q25 15B36 PDFBibTeX XMLCite \textit{A. F. Sidorenko}, J. Sov. Math. 22, 1310--1315 (1983; Zbl 0509.68039) Full Text: DOI
Grigor’ev, D. Yu. Complexity of ”wild” matrix problems and of isomorphism of algebras and graphs. (English) Zbl 0509.68030 J. Sov. Math. 22, 1285-1289 (1983). MSC: 68Q25 05C50 15A21 16D70 16D90 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 22, 1285--1289 (1983; Zbl 0509.68030) Full Text: DOI
Dantsin, E. Ya. Two systems for proving tautologies, based on the split method. (English) Zbl 0509.03004 J. Sov. Math. 22, 1293-1305 (1983). MSC: 03B05 03D15 03F20 PDFBibTeX XMLCite \textit{E. Ya. Dantsin}, J. Sov. Math. 22, 1293--1305 (1983; Zbl 0509.03004) Full Text: DOI
Maslov, S. Yu. Calculi with monotone deductions and their economic interpretation. (English) Zbl 0493.03036 J. Sov. Math. 20, 2314-2321 (1982). MSC: 03F99 91B66 03B48 68W99 60J20 03B25 03D15 03D99 68Q65 94A17 PDFBibTeX XMLCite \textit{S. Yu. Maslov}, J. Sov. Math. 20, 2314--2321 (1982; Zbl 0493.03036) Full Text: DOI
Solov’ev, S. V. Growth of length of sequential derivation transformed into natural one. (English) Zbl 0493.03033 J. Sov. Math. 20, 2367-2369 (1982). MSC: 03F20 03F05 03F55 PDFBibTeX XMLCite \textit{S. V. Solov'ev}, J. Sov. Math. 20, 2367--2369 (1982; Zbl 0493.03033) Full Text: DOI
Babaev, A. A.; Solov’ev, S. V. A coherence theorem for canonical morphisms in Cartesian closed categories. (English) Zbl 0493.03032 J. Sov. Math. 20, 2263-2279 (1982). MSC: 03F20 03F55 18D15 18A15 PDFBibTeX XMLCite \textit{A. A. Babaev} and \textit{S. V. Solov'ev}, J. Sov. Math. 20, 2263--2279 (1982; Zbl 0493.03032) Full Text: DOI
Solov’ev, S. V. Preservation of equivalence of derivations under reduction of depth of formulas. (English) Zbl 0493.03031 J. Sov. Math. 20, 2370-2376 (1982). MSC: 03F20 18D15 03F55 18A15 PDFBibTeX XMLCite \textit{S. V. Solov'ev}, J. Sov. Math. 20, 2370--2376 (1982; Zbl 0493.03031) Full Text: DOI
Grigor’ev, D. Yu. Two reductions of graph isomorphism to problems on polynomials. (English) Zbl 0493.03016 J. Sov. Math. 20, 2296-2298 (1982). MSC: 03D15 05C99 11T06 68Q25 68R10 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 20, 2296--2298 (1982; Zbl 0493.03016) Full Text: DOI
Grigor’ev, D. Yu. Time complexity of multidimensional Turing machines. (English) Zbl 0493.03015 J. Sov. Math. 20, 2290-2295 (1982). MSC: 03D10 03D15 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 20, 2290--2295 (1982; Zbl 0493.03015) Full Text: DOI
Pakhomov, S. V. Machine-independent description of certain machine complexity classes. (English) Zbl 0493.03014 J. Sov. Math. 20, 2358-2363 (1982). MSC: 03D10 03D15 03D60 PDFBibTeX XMLCite \textit{S. V. Pakhomov}, J. Sov. Math. 20, 2358--2363 (1982; Zbl 0493.03014) Full Text: DOI
Ivanov, A. G. Theorems on the time hierarchy for random access machines. (English) Zbl 0493.03013 J. Sov. Math. 20, 2299-2304 (1982). MSC: 03D10 03D15 PDFBibTeX XMLCite \textit{A. G. Ivanov}, J. Sov. Math. 20, 2299--2304 (1982; Zbl 0493.03013) Full Text: DOI
Bel’tyukov, A. P. A machine description and the hierarchy of initial Grzegorczyk classes. (English) Zbl 0493.03012 J. Sov. Math. 20, 2280-2289 (1982). MSC: 03D10 03D15 03D20 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Sov. Math. 20, 2280--2289 (1982; Zbl 0493.03012) Full Text: DOI
Orevkov, V. P. Three ways of recognizing inessential formulas in sequents. (English) Zbl 0492.03024 J. Sov. Math. 20, 2351-2357 (1982). MSC: 03F20 03B10 03B60 03F55 PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Sov. Math. 20, 2351--2357 (1982; Zbl 0492.03024) Full Text: DOI
Orevkov, V. P. Lower bounds for increasing complexity of derivations after cut elimination. (English) Zbl 0492.03023 J. Sov. Math. 20, 2337-2350 (1982). MSC: 03F20 03F05 PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Sov. Math. 20, 2337--2350 (1982; Zbl 0492.03023) Full Text: DOI
Safonova, T. E. Minimization of the number of job elements not falling into their own directive elements. (English) Zbl 0487.90060 J. Sov. Math. 20, 2037-2042 (1982). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{T. E. Safonova}, J. Sov. Math. 20, 2037--2042 (1982; Zbl 0487.90060) Full Text: DOI
Safonova, T. E. Realization of an algorithm for constructing an optimal schedule with a start point in a given interval. (English) Zbl 0487.90059 J. Sov. Math. 20, 2043-2054 (1982). MSC: 90B35 68Q25 PDFBibTeX XMLCite \textit{T. E. Safonova}, J. Sov. Math. 20, 2043--2054 (1982; Zbl 0487.90059) Full Text: DOI
Grigor’ev, D. Yu. Relation between rank and multiplicative complexity of a bilinear form over a commutative Noetherian ring. (English) Zbl 0462.13007 J. Sov. Math. 17, 1987-1998 (1981). MSC: 13C05 13E05 15B33 13C15 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 17, 1987--1998 (1981; Zbl 0462.13007) Full Text: DOI
Marchenkov, S. S.; Matrosov, V. L. Complexity of algorithms and computations. (English) Zbl 0462.03010 J. Sov. Math. 15, 140-165 (1981). MSC: 03D15 68Q05 68W99 68Q25 68-02 03D25 03-02 PDFBibTeX XMLCite \textit{S. S. Marchenkov} and \textit{V. L. Matrosov}, J. Sov. Math. 15, 140--165 (1981; Zbl 0462.03010) Full Text: DOI
Leont’ev, V. K. Discrete extremal problems. (English) Zbl 0459.90050 J. Sov. Math. 15, 101-139 (1981). MSC: 90C09 90C05 90C31 65K05 68Q25 PDFBibTeX XMLCite \textit{V. K. Leont'ev}, J. Sov. Math. 15, 101--139 (1981; Zbl 0459.90050) Full Text: DOI
Grigor’ev, D. Yu. Problem of path connections in graphs. (English) Zbl 0449.94032 J. Sov. Math. 15, 14-16 (1981). MSC: 94C15 05C38 05C40 68Q25 68R10 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 15, 14--16 (1981; Zbl 0449.94032) Full Text: DOI
Grigor’ev, D. Yu. A lower bound for the computational complexity of a set of disjunctives in a monotone basis. (English) Zbl 0449.94031 J. Sov. Math. 15, 11-14 (1981). MSC: 94C10 68Q25 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 15, 11--14 (1981; Zbl 0449.94031) Full Text: DOI
Grigor’ev, D. Yu. Application of separability and independence notions for proving lower bounds of circuit complexity. (English) Zbl 0449.94030 J. Sov. Math. 14, 1450-1457 (1980). MSC: 94C10 68Q25 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 14, 1450--1457 (1980; Zbl 0449.94030) Full Text: DOI
Pakhomov, S. V. Hierarchies of operators in constructive metric spaces. (English) Zbl 0449.03063 J. Sov. Math. 14, 1547-1554 (1980). MSC: 03F65 54E35 PDFBibTeX XMLCite \textit{S. V. Pakhomov}, J. Sov. Math. 14, 1547--1554 (1980; Zbl 0449.03063) Full Text: DOI
Bel’tyukov, A. P. An iterative description of the class \(\mathcal E^1\) of Grzegorczyk’s hierarchy. (English) Zbl 0449.03033 J. Sov. Math. 14, 1429-1436 (1980). MSC: 03D20 03D10 03D15 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Sov. Math. 14, 1429--1436 (1980; Zbl 0449.03033) Full Text: DOI
Grigor’ev, D. Yu. Kolmogoroff algorithms are stronger than Turing machines. (English) Zbl 0449.03030 J. Sov. Math. 14, 1445-1450 (1980). MSC: 03D15 03D10 68W99 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 14, 1445--1450 (1980; Zbl 0449.03030) Full Text: DOI
Freidzon, R. I. Finite approximate approach to the study of the complexity of recursive predicates. (English) Zbl 0401.68023 J. Sov. Math. 10, 604-627 (1978). MSC: 68Q25 03D15 03D20 03D10 68Q05 PDFBibTeX XMLCite \textit{R. I. Freidzon}, J. Sov. Math. 10, 604--627 (1978; Zbl 0401.68023) Full Text: DOI
Mints, G. E. Transfinite expansions of arithmetic formulas. (English) Zbl 0399.03045 J. Sov. Math. 10, 533-547 (1978). MSC: 03F30 03F99 03F20 PDFBibTeX XMLCite \textit{G. E. Mints}, J. Sov. Math. 10, 533--547 (1978; Zbl 0399.03045) Full Text: DOI
Minc, G. E. Finite investigations of transfinite derivations. (English) Zbl 0399.03044 J. Sov. Math. 10, 548-596 (1978). MSC: 03F30 03F05 03F10 03F20 03F35 PDFBibTeX XMLCite \textit{G. E. Minc}, J. Sov. Math. 10, 548--596 (1978; Zbl 0399.03044) Full Text: DOI
Smirnova, T. N. Analysis of programs of certain computational algorithms realized on a large-block model machine. (English) Zbl 0396.65007 J. Sov. Math. 10, 788-796 (1978). MSC: 65F05 65F25 65F30 68W99 68Q25 PDFBibTeX XMLCite \textit{T. N. Smirnova}, J. Sov. Math. 10, 788--796 (1978; Zbl 0396.65007) Full Text: DOI
Freidzon, R. I. Table approximations to recursive predicates. (English) Zbl 0404.03029 J. Sov. Math. 8, 337-341 (1977). MSC: 03D20 03D15 PDFBibTeX XMLCite \textit{R. I. Freidzon}, J. Sov. Math. 8, 337--341 (1977; Zbl 0404.03029) Full Text: DOI
Dang-Huy-Ruan; Tsejtin, G. S. An upper estimate of the finite-state complexity for a class of generating schemes containing complements and intersections. (English) Zbl 0403.68058 J. Sov. Math. 8, 254-262 (1977). MSC: 68Q70 68Q25 94C10 03D05 68Q45 PDFBibTeX XMLCite \textit{Dang-Huy-Ruan} and \textit{G. S. Tsejtin}, J. Sov. Math. 8, 254--262 (1977; Zbl 0403.68058) Full Text: DOI
Dancin, E. Ja. Increase of the complexity of functions by an application of multiple recursion. (English) Zbl 0375.02030 J. Sov. Math. 6, 353-357 (1976). MSC: 03D20 68Q25 PDFBibTeX XMLCite \textit{E. Ja. Dancin}, J. Sov. Math. 6, 353--357 (1976; Zbl 0375.02030) Full Text: DOI
Maslov, S. Yu.; Rusakov, E. D. Probabilistic canonical calculi. (English) Zbl 0375.02026 J. Sov. Math. 6, 401-409 (1976). MSC: 03D03 68Q25 68T15 03F99 60B99 PDFBibTeX XMLCite \textit{S. Yu. Maslov} and \textit{E. D. Rusakov}, J. Sov. Math. 6, 401--409 (1976; Zbl 0375.02026) Full Text: DOI