Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Orlicki A. [1992] On a concept of a binary relation over partial enumerated sets Algebra and Logic, 31, № 3, 306-318 94.05.77 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Orlicki A. [1990] On some categories of partial enumerated sets Z. math. Logik und Grundl. Math., 36 , № 6, 541-560 92.02.48 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Orlicki A. [1988] On some problems related to enumerated types of algebras Z. math. Logik und Grundl. Math., 34, № 6, 553-562 89.06.55 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Orlicki A. [1991] Constructivity of endofunctors on categories of partial enumerated sets, I, General results Z. math. Logik und Grundl. Math., 37 , № 4, 307-316 92.09.65 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Orlicki A. [1990] Some remarks on ω-powers of enumerated sets and their applications to ω-operations Z. math. Logik und Grundl. Math., 36, № 2, 149-161 91.04.72 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Orlicki A. [1988] Strong reducibilities of enumerations and enumerated algebras Z. math. Logik und Grundl. Math., 34 , № 2, 143-162; corr. 35, № 1, 95 88.10.48; 89.09.56 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.O Oberschelp A. Odifreddi P.G. Odintsov S. P. Ogiwara M. Ohashi K. Omanadze R. Sh. Orlicki A. Ouspenski V.A. Owings J.C. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.