| |
Bochernikov, Vladimir Yakovlevich
|
| Statistics Math-Net.Ru |
| Total publications: |
1 |
| Scientific articles: |
1 |
| Number of views: |
| This page: | 41 | | Abstract pages: | 57 | | Full texts: | 20 |
|
|
Associate professor |
|
Candidate of physico-mathematical sciences (1985) |
| Speciality: |
01.01.06 (Mathematical logic, algebra, and number theory) |
| Birth date: |
2.04.1952 |
| Keywords: |
Calculus, sequent, inference rule, output complexity, calculation complexity, polynomial hierarchy, properties of oracle sets
|
| UDC: |
510.52 |
Subject: |
Logical calculus, proof theory, complexity theory of computations
|
| |
|
| Main publications: |
-
Bochernikov V. Ya., “Nekotorye svoistva ischisleniya ravenstv elementarnykh po Kalmaru funktsii”, Shestaya vsesoyuznaya konferentsiya po matematicheskoi logike, 1982, 22–25
 -
Bochernikov V. Ya., “Ekvivalentnost dvukh ischislenii ravenstv elementarnykh po Kalmaru funktsii”, Logika i osnovaniya matematiki, 1982, 17–19
-
Bochernikov V. Ya., “Zakon isklyuchennogo tretego i problema NP ravno co-NP”, Sibirskii matematichekii zhurnal, 48:2 (1987), 34–48
-
Bochernikov V. Ya., “Ne vyvodimost nekotorykh svoistv orakulnykh mnozhestv”, Problemy sovremennoi matematiki, 34:2 (2017), 34–51
|
|
 |
https://www.mathnet.ru/eng/person127407 |
 |
List of publications on Google Scholar |
 |
List of publications on ZentralBlatt |
|
|
|
|
Publications in Math-Net.Ru |
Citations |
|
1992 |
| 1. |
V. Ya. Bochernikov, “On intuitionistic elementary arithmetic”, Sibirsk. Mat. Zh., 33:2 (1992), 22–28 ; Siberian Math. J., 33:2 (1992), 195–200  |
1
|
|
| Organisations |
- Institute of Fundamental Problems of Modern Mathematics
|
| |
Contact us: