KAZAN
FEDERAL UNIVERSITY
Selivanov Viktor Lvovich (архив)
Date of birth
24.08.1952
Positions
Нет текущих должностей
Research work
05.13.17 - Теоретические основы информатики
01.01.06 - Mathematical Logic, Algebra and Theory of Numbers
Performance
Quantity of published work in Scopus:
101
Quantity of reference on published work in Scopus:
219
Personal index of Hirsh:
11
Performance
2016
Селиванов, В. Л. О тьюринговых степенях в утончениях арифметической иерархии / В.Л. Селиванов, М.М. Ямалеев // Международная конференция “Мальцевские чтения 2016”: тезисы докладов. – 2016. – С. 57.
Yamaleev_malmeet16.pdf
Konovalov A. The Boolean algebra of piecewise testable languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - Berlin, Springer, 2016. - V. 9709, 292-301.
Kudinov O.V. On the lattices of effectively open sets / O.V. Kudinov, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - 2016. - V. 9709. - DOI: 10.1007/978-3-319-40189-8 31.
2015
de Brecht M. Base-Complexity Classifications of QCB_0 -Spaces / M. de Brecht, M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 56-66.
Selivanov V.L. Towards the Effective Descriptive Set Theory / V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 324-333.
Schroeder M. Some Hierarchies of qcb_0-Spaces / M. Schroeder, V. Selivanov // Mathematical Structures in Computer Science. - 2015. - V. 25, Is. 8. - P. 1799-1823.- doi: 10.1017/S0960129513000376.
Schroeder M. Hyperprojective hierarchy of qcb_0-spaces / M. Schroeder, V.L. Selivanov // Computability.- 2015. - V.4, No. 1. - P. 1-17.
Motto Ros L. Wadge-like reducibilities on arbitrary quasi-Polish spaces / L. Motto Ros, P. Schlicht, V. Selivanov // Mathematical structures in computer science. - 2015. - V. 25, Is 8. - P. 1705-1754. - doi:10.1017/S0960129513000339.
2014
Schroeder M. Hyperprojective Hierarchy of qcb0-Spaces / M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2014 (Eds. Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer). - Springer, 2014. - V. 8493. - P. 352-361.
Hertling P. Complexity issues for preorders on finite labeled forests / P. Hertling, V. Selivanov // Logic, Computation, Hierarchies, edited by Vasco Brattka, Hannes Diener, and Dieter Spreen. - Ontos Publishing, de Gruiter, Boston-Berlin, 2014. - P. 165-190.
2013
Selivanov V.L. Total representations / V.L. Selivanov // Logical Methods in Computer Science. - 2013. - V. 9, No. 2. - P. 1 - 30. - DOI: 10.2168/LMCS-9(2:5)2013.
Konovalov A. Boolean Algebras of Regular omega-Languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science. (Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca (Eds.)). - 2013. - V. 7810. - P. 504-515.
Events
2016
Seminar `Algebra and Logic` Novosibirsk Sobolev Institute of Mathematics 18.10.2016 - 18.10.2016
Work address:
,
Office number:
3
Phone:
88432337039
E-mail:
VLSelivanov@kpfu.ru
Google scholar:
https://scholar.google.ru/citations?view_op=list_works&hl=ru&user=ga1YR2AAAAAJ