| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
|
1981, Volume 105
|
| | | General information | | | Contents | | |
|
Preface |
2 | |
|
|
Equality of maps and coherence theorem for biclosed categories A. A. Babaev |
3 | |
|
|
On the complexity of the “wild” matrix problems and of the isomorphism of algebras and of graphs D. Yu. Grigor'ev |
10 | |
|
|
Complexity measures of the words based on the string-matching and edit distance A. N. Grigor'eva |
18 | |
|
|
Two tautologihood proof systems based on the split method E. Ya. Dantsin |
24 | |
|
|
Simplification of Gentzen's reductions in the classical arithmetic L. M. Kogan-Bernstein |
45 | |
|
|
The complexity of additive computations of the sets of integer linear forms A. F. Sidorenko |
53 | |
|
|
Detection of periodicities and string-matching in real time A. O. Slisenko |
62 | |
|
|
The category of finite sets and Cartesian closed categories S. V. Solov'ev |
174 | |