| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
|
1975, Volume 49
|
| | | General information | | | Contents | | |
|
On the expressive power of the operations of bounded summation and bounded multiplication N. K. Kossovski |
3 | |
|
|
The mutation-calculuses S. Yu. Maslov |
7 | |
|
|
On metamathematical approach to proving theorems of discrete mathematics Yu. V. Matiyasevich |
31 | |
|
|
Finite investigation of infinite derivations G. E. Mints |
51 | |
|
|
Finite investigation of infinite derivations G. E. Mints |
67 | |
|
|
Finite approach to the problem of optimization of theorem-proving algorithms A. O. Slisenko |
123 | |
|
|
Finite approximation approach to investigation of the complexity of recursive predicates R. I. Freidson |
131 | |
|
|
On some postulates of general taxonomy A. A. Lubischev |
159 | |