Search results
News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Barback J., McLaughlin T.G. ...
Barback J., McLaughlin T.G. [1978] On intersections of regreeive sets Pacif. J. Math., 79, № 1, 19-35 79.09.56 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Barback J., Dekker J.C.E. ...
Barback J., Dekker J.C.E. [1997] Extending finite subsets of an immune set Rocky Mount. J. Math., 27, № 1, 91-121 99.12.52 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.
Авторы на B
B Badaev S. Bailey C.G. Baker T.P. Baleva V. Baratella S. Barback J. Barendregt H. Barmpalias G. Barwise J. Basu S. Baterman P.T. Baurle F.A. Batyrshin I.I. Becker H. Behman H. Beigel R.J. Belyaev V. N. Bennison V.L. Bentzien L. Bereznyuk S. Bergstra J. A. BermanL BermanP Bernardi C. Bernays P. Berry J. Bianchini C....
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.