|
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
2012, Volume 407
|
| | General information | | | Contents | | |
On a comparison of Darboux and Riemann integrals in constructive analysis A. A. Vladimirov |
7 | ||
On some continuity theorem for constructive functions A. A. Vladimirov |
17 | ||
Extended fuzzy constructive logic I. D. Zaslavsky |
35 | ||
On a Diophantine representation of the predicate of provability M. Carl, B. Z. Moroz |
77 | ||
Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to FP N. K. Kosovskiy |
105 | ||
Cut for resolution method V. P. Orevkov |
111 |