Главная Промышленная автоматика.

Керр (Кегг L. R.)

[1970] The effect of algebraic structure on the computational complexity of matrix multiplications. Ph. D. Thesis, Cornell University, Ithaca, N.Y. Киркпатрик (Kirkpatricic D.)

[1972] On the additions necessary to compute certain functions, Proc. 4th Annual ACM Symposium on Theory of Computing, Denver, Colorado, 94-101. [1974] Determining graph properties from matrix representations, Proc. 6th Annual ACM Symposium on Theory of Computing, Seattle, Washington, 84- 90.

Кислицын с. С.

[1964] О выделении k-то элемента упорядоченной совокупности путем попарных сравнений, Сиб. машем, журнал, 5, № 3, 557-564.

Клини (Kleene S. С.)

[1966] Representation of events in nerve nets and finite automata, в сб. «Auto-mata Studiess, под ред. Shannon С, McCarthy J., Princeton University Press, 3-40. (Русский перевод в сб. «Автоматы», М., ИЛ, 1956, стр. 15-67.)

Кнут (Knuth D. Е.)

[1968] The art of computer programming. Vol. 1: Fundamental algorithms, Addison-Wesley, Reading, Mass. (Русский перевод: Кнут Д., Искусство программирования для ЭВМ. Том 1: Основные алгоритмы, М., Мир, 1976.) [1969] The art of computer programming. Vol. 2: Seminumerical algorithms, Addison-Wesley, Reading, Mass. (Русский перевод: Кнут Д., Искусство программирования для ЭВМ. Том 2: Получисленные алгоритмы, М., Мир, 1977.) 971] Optimum binary search trees. Acta Inform., I, 14-25. 1973a] The art of computer programming. Vol. 3: Searching and sorting, Addison-Wesley, Reading, Mass. (Русский перевод: Кнут Д., Искусство программирования для ЭВМ. Том 3: Поиск и сортировка, М., Мир, 1978.) [19736] Notes on pattern matching. University о Trondheim, Norway.

Кнут, Пратт (Knuth D. E., Pratt V. R.)

[1971] Automata theory can be useful, Stanford University, Stanford, California.

Коллинз (Collins G. E.)

[1973] Computer algebra of polynomials and rational functions, Amer. Math. Monthly, 80, № 7, 725-754.

Констейбл, Хант, Сахни (Constable R. L., Hunt H. B. Ill, Sahni S. K.)

[1974] On the computational complexity of scheme equivalence. Proc. 8th Annual Princeton Conference on Information Sciences and Systems.

Кохави, Пац (ред.) (Kohavi Z., Paz A.)

[1971] Theory of machines and computations. Academic Press, New York.

Крейн (Crane C. A.)

[1972] Linear lists and priority queues as balanced binary trees. Ph. D. Thesis, Stanford University.

Крускал (Kruskal J. B. Jr)

[1956] On the shortest spanning subtree of a graph and the travelling salesman problem, Proc. Amer. Math. Soc, 7, № , 48-50.

Кук (Cook S. A.)

[1966] On the minimum computation time of functions. Doctoral Thesis, Harvard University, Cambridge, Mass..

[1971a] Linear time simulation of deterministic two-way pushdown automata, Proc. IFIP Congr. 71, TA-2, North-Holland, Amsterdam, 172-179. [19716] The complexity of theorem proving procedures, Proc. 3d Annual ACM Symposium on Theory of Computing, Shaker Heights, Ohio, 151-159. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 12, М., Мир, 1975, стр. 5-15.)

[1973] А hierarchy lor nondeterministic time complexity, J. Comput. and Syst. Sci., 7, № 4, 343-353.



Кук, Аандераа (Cook S. Д., Aanderaa S. О.)

[1969] On the minimum complexity of functions. Trans. Amer. Math. Soc.

142, 291-314. (Русский перевод в Кибернетическом сборнике, нов. сев.

вып. 8, М., Мир, 1971, стр. 68-200.)

Кук, Рекхау (Cook S. А., Reckhow R. А.)

[1973] Time-bounded random access machines, J. Comput. and Sust. Sci. 7

№4, 354-375.

[1974] On the length of proofs in the propositional calculus, Proc. 6th Annual

ACM Symposium on Theory of Computing, Seattle, Washington, 135-148. Кули, Льюис, Уелч (Cooley J. M., Lewis P. A., Welch P. D.)

[1967] History of the fast Fourier transform, Proc. IEEE, 55, 1675-1677. Кули Тьюки (Cooley J. M., Tukey J. W.)

[1965] An algorithm for the machine calculation of complex Fourier series. Math.

Comput., 19, 297-301. Кунг (Kung H. T.)

[1973] Fast evaluation and interpolation. Dept. Comput. Sci., Carnegie-Mellon

University, Pittsburgh. Липсон (Lipson J.)

[1971] Chinese remainder and interpolation algorithms, Proc. 2nd Symposium

on Symbolic and Algebraic Manipulation, 372-391. Льюис, Стирнз, Хартманис (Lewis P. M. II, Stearns R. E., Hartmanis J.)

[1S65] Memory bounds for recognition of context-free and context-sensitive

languages, IEEE 6th Annual Symposium on Switching Circuit Theory and

Logic Design, 191-202. (Русский перевод в сб. «Проблемы математической

логики», М., Мир, 1970, стр. 320-338.) Лю (Liu С. L.)

1968 Introduction to combinatorial mathematics, McGraw-Hill, New York. 1972 Analysis and synthesis of sorting algorithms, SIAM J. Comput., 1, № 4, 290-304.

Мак-Лейн, Биркгоф (MacLane S., Birkhoff G.)

[1967] Algebra, Macmillan, New York. Мак-Нотон, Ямада (McNaughton R., Yamada H.)

[1960] Regular expressions and state graphs for automata, IRE Trans, Electron.

Comput., 9, № 1, 39-47. См. также Мур [1964], 157-174. Матиясевич Ю. В.

°[1971] О распознавании в реальное время отношения вхождения, Записки научн. семинаров Ленингр. отд. Матем. ин-та АН СССР, т. 20, 104-114.

Мейер (Meyer А. R.)

[1972] Weak monadic second order thery of successor is not elementary recursive, Proj. MAC Rept., MIT, Cambridge, Mass. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 12, М., Мир, 1975, стр. 62-77.)

Мейер, Стокмейер (Meyer А. R., Stockmeyer L. J.)

[1972] The equivalence problem for regular expressions with squaring requires exponential space, IEEE 13th Annual Symposium on Switching and Automata Theory, 125-129.

[1973] Nonelementary word problems In automata and logic, Proc. AMS Symposium on Complexity of Computation, April 1973.

Миллер, Тэчер (ред.) (Miller R. E., Thatcher J. W.)

[1972] Complexity of computer computations, Plenum Press, New York.

Минский (Minsky M.)

[1967] Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs, N. J. (Русский перевод: Минский М., Вычисления и автоматы, М., Мир, 1971.)

Моенк (Моепск R.)

[1973] Fast computations of CCDs, Proc. 5th Annual ACM Symposium on Theory of Computing, Austin, Texas, 142-151.

17» 507



Моенк, Бородин (Моепск R., Borodin А. В.)

[1972] Fast modular transforms via division, IEEE 13th Annual Symposium on

Switching and Automata Theory, 90-96. Моргенштерн (Morgenstern J.)

[1973] Note on a lower bound of the linear complexity of the fast Fourier transform, J. Assoc. Comput. Mach., 20, №5, 305-306. Моррис (Morris R.)

[1968] Scatter storage techniques. Comm. ACM, 11, № 1, 35-44. Моррис, Пратт (Morris J. H. Jr., Pratt V. R.)

[1970] A linear pattern matching algorithm, Tech. Rept. Яд 40, Comput. Centre,

University of California, Berkeley. Моцкин (Motzkin T. S.)

[1955] Evaluation of polynomials and evaluation of rational functions. Bull.

Amer. Math. Soc, 61, 163. Мунро (Munro J.)

1971] Efficient determination of the transitive closure of a directed graph.

Inform. Process. Lett., 1, №2, 56-58. Myp (ред.) (Moore E. F.)

[1964] Sequential machines: selected papers, Addison-Wesley, Reading, Mass. Мураока, Кукк (Muraoka Y., Kuck D. J.)

[1973] On the time required for a sequence of matrix products. Comm. ACM,

16, № 1, 22-26. Нечипорук Э. И.

[1966] Об одной булевской функции. Доклады АН СССР, 169, № 4, 765-766. Нивергельт, Рейнгольд (Nievergelt J., Reingold Е. М.)

[1973] Binary search trees of bounded balance, SIAM J. Comput., 2, № 33-43.

Николсон (Nicholson P. J.)

[1971] Algebraic theory of finite Fourier transforms, J. Comput. and Syst. Sci., 5, № 5, 524-547.

Островский (Ostrowski A. M.)

[1954] On two problems in abstract algebra connected with Horners rule. Studies presented to R. von Mises. Academic Press, N. Y.

Офман Ю. П.

[1962] Об алгорифмической сложности дискретных функций. Доклады АН СССР, 145, № 1, 48-51. Пан В. Я.

"[1962] О некоторых способах вычисления значений многочленов. Проблемы кибернетики, вып. 7, 21-30.

[1966] О способах вычисления значений многочленов. Успехи матем. наук, 21, № 1(127), 103-134. Патерсон, Фишер, Мейер (Paterson М. S., Fischer М. J., Meyer А. R.)

[1974] An improved overlap argument for on-line multiplication. Complexity Comput. (SIAM-AMS Proc, Vol. 7), Providence, N.J., 97-112. (Русский перевод в Кибернетическом сборнике, нов. сер., вып. 14, М., Мир, 1977, стр. 78- 94.)

Пол (Pohl J.)

[1972] А sorting problem and its complexity. Comm. ACM, 15, № 6, 462-466. Пратт В. (Pratt V. R.)

[1974] The power of negative thinking in multiplying Boolean matrices, Proc.

6th Annual ACM Symposium on Theory of Computing, Seattle, Washington,

80-83. Cm. также SIAM J. Comput., 4, № 3, (1975), 326-330. Пратт Т. (Pratt Т. W.)

[1975] Programming languages. Design and implementation, Prentice-Hall,

Englewood Cliffs, N. J. (Русский перевод готовится к изданию в изд-ве

«Мир».)





0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 [165] 166 167 168 169 170 171 172 173 174

0.0085