Equality of maps and coherence theorem for biclosed categories A. A. Babaev OriginalPaper Pages: 1281 - 1285
Complexity of “wild” matrix problems and of isomorphism of algebras and graphs D. Yu. Grigor'ev OriginalPaper Pages: 1285 - 1289
Complexity measures of words based on string matching and edit distance A. N. Grigor'eva OriginalPaper Pages: 1290 - 1293
Two systems for proving tautologies, based on the split method E. Ya. Dantsin OriginalPaper Pages: 1293 - 1305
Simplification of Gentzen's reductions in classical arithmetic L. M. Kogan-Bernshtein OriginalPaper Pages: 1305 - 1310
Complexity of additive computations of systems of linear forms A. F. Sidorenko OriginalPaper Pages: 1310 - 1315
Detection of periodicities and string-matching in real time A. O. Slisenko OriginalPaper Pages: 1316 - 1387
The category of finite sets and Cartesian closed categories S. V. Solov'ev OriginalPaper Pages: 1387 - 1400