Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Kalantari I. [1982] Major subsets in effective topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 77-94 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari I. [1978] Major subspaces of recursively enumerable vector spaces J. Symbolic Logic, 43, № 2, 293-303 79.01.68 O article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari J., Leggett A. [1983] Maximility in effective topology J. Symbolic Logic, 48, № 1, 100-112 83.11.60 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari J., Leggett A. [1982] Simplicity in effective topology J. Symbolic Logic, 47, № 1, 169-183 82.10.44 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari J., Weitkamp G. [1985] Effective topological spaces, I: A definability theories Ann. Pure Appl. Logic, 24, № 1, 1-27 ? S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari J., Retzlaff A. [1979] Recursive constructions in topological spaces J. Symbolic Logic, 44, № 4, 609-625 80.07.27 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari J., Remmel J. B. [1983] Degrees of recursively enumerable topological spaces J. Symbolic Logic, 48, № 3, 610-622 84.07.57 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari I. [1981] Effective content of a theorem of M. H. Stone Aspects of Effective Algebra, 128-146, Upside Down a Book Co., Yarra Glen, Vic. ? article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari I. [1979] Automorphisms of the lattice of recursively enumerable vector spaces Z. math. Logik und Grundl. Math., 25, № 5, 385-401 80.09.61 G article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari I.,Retzlaff A. [1977] Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces J. Symbolic Logic, 42, № 4, 481-491 79.01.67 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Jockusch C.G. Jr., Kalantari I. [1984] Recursively enumerable sets and van der Warden’s theorem on arithmetic progressions, Pacif. J. Math., 115, № 1, 143-153 85.08.62 S article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Kalantari I., Welch L. [2004] A blend of methods of recursion theory and topology: A Π 1 0 tree of shadow points Arch. Math. Logik Grundl., 43, № 8, 991–1008 07.01.83 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Downey R. G. [1984] Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory Z. math. Logik und Grundl. Math., 30, № 4, 295-302 85.03.38 article Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.K Kach A.M. Kaddah D. Kahr A.S. Kalantari I. Kalimullin I. Sh. Kalmár L Kanda A. Kaphengst H. Karp C. Kastanas J.G. Kastermans B. Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P....
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.