Shabunin Leonid Vasil'evich
|
Associate professor
|
Doctor of physico-mathematical sciences (2000)
|
Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: mathematical logic, discrete mathematics, algebra, computer science.
UDC: 510.6
Subject: Mathematical logic, discrete mathematics, algebra, computer science.
Main publications: - Shabunin L. V. Teorema vlozheniya dlya mnogoobrazii Kantora // Algebra i logika, 2001, 40:3, 352–369.
- Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh algebr mnogoobrazii Kantora // Algebra i logika, 1999, 38:2, 228–248.
- Shabunin L. V. Ob elementarnoi ekvivalentnosti svobodnykh kvazigrupp // Fundament. i prikl. matem., 1999, 5:3, 885–901.
- Shabunin L. V. O konechno-opredelennykh i svobodnykh algebrakh mnogoobrazii Kantora // Sib. matem. zhurn., 1997, 38:2, 450–462.
- Shabunin L. V. Razreshimost elementarnykh teorii nekotorykh konechno-opredelennykh algebr // Algebra i logika, 1991, 30:4, 457–477.
- Shabunin L. V. Razreshimost teorii konechno-opredelennykh kvazigrupp iz R-mnogoobrazii kvazigrupp // Sib. matem. zhurn., 1991, 32:3, 201–211.
- Shabunin L. V. Ob elementarnykh teoriyakh konechno-opredelennykh lup so svoistvom obratimosti // Diskret. matem., 1991, 3:4, 79–90.
- Shabunin L. V. Razreshimost elementarnoi teorii konechnoopredelennoi kvazigruppy // Matem. zametki, 1990, 47:4, 138–146.
- Shabunin L. V. Razreshimost elementarnykh teorii konechno-opredelennykh algebr mnogoobraziya algebr, zadannogo pustoi sistemoi tozhdestv // Matem. zametki, 1989, 45:5, 93–102.
- Shabunin L. V. On the interpretation of combinators with weak reduction // J. Symbol. Log., 1983, 48:3, 558–563.
- Shabunin L. V. Nekotorye massovye problemy ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1974, 6, 36–41.
- Shabunin L. V. O neprotivorechivosti nekotorykh ischislenii kombinatornoi logiki // Vestn. MGU, matem., mekhan., 1971, 6, 71–75.
Publications in Math-Net.Ru
© , 2024