На главную страницу
На главную страницу
На главную страницу
English page
English page
ФАНО России | РАН | ОМН РАН | Math-Net.Ru | ММО | Web of Science | Scopus | MathSciNet | zbMATH | Проверка почты | Справка 

   
 Об институте
 Научная деятельность
 Публикации
 Правила оформления научных работ
 Администрация
 Ученый совет
 Диссертационные советы
 Отделы
Сотрудники 
 Аспирантура
 Научно-образовательный центр
 Совет молодых ученых
 Профком МИАН
 Семинары
 Конференции
 Мероприятия
 Издания МИАН
 In memoriam
 Фотогалерея МИАН
 Музей МИАН
 Реквизиты МИАН
 Устав МИАН
 Библиотека


    Адрес института
Адрес: Россия, 119991, Москва, ул. Губкина, д. 8
Тел.: +7(495) 984 81 41
Факс: +7(495) 984 81 39
Сайт: www.mi-ras.ru
E-mail: steklov@mi.ras.ru

Посмотреть карту
Схема проезда

   

Отдел математической логики

| Семинары отдела | Поздравления | Публикации сотрудников |
Сотрудники
Адян Сергей Иванович

доктор физ.-матем. наук, академик РАН, заведующий отделом, главный научный сотрудник
комн.: 508; тел.: +7 (499) 941 01 83, +7 (495) 984 81 41 * 36 34;
e-mail: sia@mi.ras.ru
Основные направления исследований: Алгоритмические вопросы алгебры, теория полугрупп, теория групп.
Беклемишев Лев Дмитриевич

доктор физ.-матем. наук, член-корр. РАН, заместитель директора по научной работе, главный научный сотрудник
комн.: 324; тел.: +7 (495) 984 81 43, +7 (495) 984 81 41 * 37 44;
e-mail: bekl@mi.ras.ru
Основные направления исследований: Теория доказательств, формальная арифметика.
Беклемишев Лев Дмитриевич
Кузнецов Степан Львович

кандидат физ.-матем. наук, научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 41 * 37 44;
e-mail: skuzn@inbox.ru
Лысенок Игорь Геронтьевич

доктор физ.-матем. наук, ведущий научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: lysionok@mi.ras.ru
Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп.
Пахомов Федор Николаевич

кандидат физ.-матем. наук, научный сотрудник

e-mail: pakhfn@gmail.com
Основные направления исследований: Теория доказательств, модальная логика, проблемы разрешимости.
Подольский Владимир Владимирович

кандидат физ.-матем. наук, старший научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: podolskii@mi.ras.ru
Персональная страница: http://www.mi.ras.ru/~podolskii/
Основные направления исследований: Теория сложности вычислений.
Разборов Александр Александрович

доктор физ.-матем. наук, член-корр. РАН, главный научный сотрудник
комн.: 506; тел.: +7 (495) 984 81 41 * 37 46;
e-mail: razborov@mi.ras.ru
Персональная страница: http://www.mi.ras.ru/~razborov/
Основные направления исследований: Теория сложности вычислений.
Таламбуца Алексей Леонидович

кандидат физ.-матем. наук, научный сотрудник
комн.: 507; тел.: +7 (495) 984 81 41 * 37 52;
e-mail: altal@mi.ras.ru
Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории групп и полугрупп.
Шамканов Данияр Салкарбекович

кандидат физ.-матем. наук, старший научный сотрудник
комн.: 515; тел.: +7 (495) 984 81 43;
e-mail: daniyar.shamkanov@gmail.com
Основные направления исследований: Теория доказательств, комбинаторная логика, неклассические логики.
Колмаков Евгений Александрович

научный сотрудник
Кудинов Андрей Валерьевич

кандидат физ.-матем. наук, старший научный сотрудник

e-mail: kudinov.andrey@gmail.com
Шапировский Илья Борисович

кандидат физ.-матем. наук, старший научный сотрудник

e-mail: shapir@iitp.ru
Шехтман Валентин Борисович

доктор физ.-матем. наук, ведущий научный сотрудник

e-mail: shehtman@mccme.ru

Маканин Геннадий Семенович

доктор физ.-матем. наук, внештатный сотрудник

e-mail: makanin@mi.ras.ru
Основные направления исследований: Комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
Наверх
Семинары отдела
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
Руководитель семинара: С. И. Адян
ГЗ МГУ, ауд. 16-04
Семинар отдела математической логики «Теория доказательств»
Руководитель семинара: Л. Д. Беклемишев
МИАН, ауд. 530
Спецсеминар И. Г. Лысёнка «Геометрическая теория групп», 2012
Руководитель семинара: И. Г. Лысёнок
МИАН, комн. 430 (ул. Губкина, 8)
Наверх
Поздравления
На заседании Ученого Совета МИАН 21 января 2016 года директор института академик РАН В. В. Козлов поздравил заведующего отделом математической логики академика РАН С. И. Адяна с 85-летием и от имени сотрудников института вручил приветственный адрес.
Наверх
Публикации сотрудников за последние годы

| по годам | научные публикации | по типам |



   2019
1. T.Hartnick, A.Talambutsa, “Relations between counting functions on free groups and free monoids”, Groups, Geometry and Dynamics, 2019, 1–29 (to appear) , arXiv: 1508.03166

   2018
2. Alexander Razborov, “On Space and Depth in Resolution”, Comput. Complexity, 2018, 1–49 (Published online)  mathnet  crossref  scopus
3. И. Г. Лысëнок, “Подход к изучению конечно определенных групп, основанный на понятии дискретной кривизны”, Матем. заметки, 103:4 (2018), 568–575  mathnet  crossref  elib; I. G. Lysenok, “An Approach to the Study of Finitely Presented Groups Based on the Notion of Discrete Curvature”, Math. Notes, 103:4 (2018), 610–615  crossref  isi  scopus
4. С. И. Адян, “Об исследованиях Геннадия Семëновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196  mathnet  crossref  elib
5. Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Logical Foundations of Computer Science, International Symposium, LFCS 2018 (Deerfield Beach, FL, USA, January 8–11, 2018), Lecture Notes in Comput. Sci., 10703, eds. Sergei Artemov, Anil Nerode, Springer, Berlin, Heidelberg, 2018, 91–106  mathnet  crossref  scopus
6. Lev Beklemishev, “A note on strictly positive logics and word rewriting systems”, Larisa Maximova on Implication, Interpolation, and Definability, Outst. Contrib. Log., 15, eds. Sergei Odintsov, Springer, Berlin, Heidelberg, 2018, 61–70  mathnet  crossref
7. G. Berger, L. D. Beklemishev, H. Tompits, “A many-sorted variant of Japaridze's polymodal provability logic”, Logic Journal of the IGPL, 2018 (to appear)  crossref
8. Dima Grigoriev, Vladimir V. Podolskii, “Tropical effective primary and dual nullstellensätze”, Discrete Comput. Geom., 59:3 (2018), 507–552  mathnet  crossref  isi  scopus
9. M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “Subexponentials in non-commutative linear logic”, Mathematical Structures in Computer Science, 2018, 1–33 (Published online) , arXiv: 1709.03607  crossref  scopus
10. M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Automated Reasoning, 9th International Joint Conference, IJCAR 2018 (Oxford, UK, July 14-17, 2018), Lecture Notes in Artificial Intelligence, 10900, eds. D. Galmiche, S. Schulz, R. Sebastiani, Springer International Publishing, 2018 (to appear)
11. G. Morrill, S. Kuznetsov, M. Kanovich, A. Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Formal Grammar, 23rd International Conference, FG 2018 (Sofia, Bulgaria, August 11–12, 2018), Lecture Notes in Comput. Sci., 10950, eds. A. Foret, G. Kobele, S. Pogodalla, Springer-Verlag, Berlin, Heidelberg, 2018 (to appear)

   2017
12. Alexander Razborov, “On the width of semi-algebraic proofs and algorithms”, Mathematics of Operation Research, 42:4 (2017), 1106–1134  mathnet  crossref  isi  scopus
13. Oleg Pikhurko, Alexander Razborov, “Asymptotic structure of graphs with the minimum number of triangles”, Comb. Probab. Comput., 26:1 (2017), 138–160  mathnet  crossref  mathscinet (cited: 5)  isi (cited: 3)  scopus (cited: 4)
14. L. N. Coregliano, A. A. Razborov, “On the density of transitive tournaments”, J. Graph Theory, 85:1 (2017), 12–21 , arXiv: 1501.04074  mathnet  crossref  mathscinet  isi (cited: 1)  scopus (cited: 2)
15. Yuan Li, Alexander Razborov, Benjamin Rossman, “On the $AC^0$ Complexity of Subgraph Isomorphism”, SIAM Journal on Computing, 46:3 (2017), 936–971  mathnet  crossref  isi  scopus
16. С. И. Адян, В. С. Атабекян, “О свободных группах бесконечно базируемых многообразий С. И. Адяна”, Изв. РАН. Сер. матем., 81:5 (2017), 3–14  mathnet (цит.: 1)  crossref  mathscinet  adsnasa  elib; S. I. Adian, V. S. Atabekyan, “On free groups in the infinitely based varieties of S. I. Adian”, Izv. Math., 81:5 (2017), 889–900  crossref  mathscinet  isi (cited: 2)  scopus (cited: 1)
17. С. И. Адян, В. С. Атабекян, “Периодические произведения групп”, Известия НАН РА Математика, 52:3 (2017), 3–15  mathnet; S. I. Adian, V. S. Atabekyan, “Periodic products of groups”, J. Contemp. Math. Anal., Armen. Acad. Sci., 52:3 (2017), 111–117  crossref  isi (cited: 3)  elib  scopus (cited: 2)
18. Lev D. Beklemishev, Reflection calculus and conservativity spectra, 2017 , 28 pp., arXiv: 1703.09314
19. Л. Д. Беклемишев, “О свойстве редукции для $GLP$-алгебр”, Докл. РАН, 472:4 (2017), 378–382  mathnet  crossref  elib; L. D. Beklemishev, “On the Reduction Property for GLP-Algebras”, Dokl. Math., 95:1 (2017), 50–54  crossref  isi (cited: 1)  scopus (cited: 1)
20. Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388, 2017, 48–67  mathnet  crossref  isi  scopus (cited: 1)
21. Michelle Bucher, Alexey Talambutsa, “Minimal exponential growth rates of metabelian Baumslag–Solitar groups and lamplighter groups”, Groups, Geometry and Dynamics, 11:1 (2017), 189–209 , arXiv: 1506.03569  mathnet  crossref  mathscinet  isi  elib  scopus
22. А. В. Кудинов, И. Б. Шапировский, “О разбиениях шкал Крипке конечной высоты”, Изв. РАН. Сер. матем., 81:3 (2017), 134–159  mathnet  crossref  mathscinet  adsnasa  elib; A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math., 81:3 (2017), 592–617  crossref  mathscinet  isi  scopus
23. Vladimir V. Podolskii, “Bounds in Ontology-Based Data Access via Circuit Complexity”, Theory Comput. Syst., 61:2 (2017), 464–493  mathnet  crossref  isi  elib  scopus
24. M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev, “The complexity of ontology-based data access with OWL2QL and bounded treewidth queries”, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Volume Part F127745, 9 May 2017 (Chicago, United States, 14 May 2017 до 19 May 2017, Код 127745), 2017, 201–216  crossref  scopus (цит.: 2)
25. O. A. Gerasimova, S. P. Kikot, V. V. Podolskii, M. Zakharyaschev, “More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom”, International Conference on Knowledge Engineering and the Semantic Web KESW 2017: Knowledge Engineering and Semantic Web, Commun. Comput. Inf. Sci., 786, Springer, 2017, 143–158  mathnet  crossref  scopus
26. A. S. Kulikov, V. V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Leibniz Internat. Proc. in Inform., 66, no. 49, 2017, 1–14  mathnet  crossref  scopus
27. D. Yu. Grigor'ev, V. V. Podolskii, “Tropical Combinatorial Nullstellensatz and Fewnomials Testing”, International Symposium on Fundamentals of Computation Theory FCT 2017: Fundamentals of Computation Theory, Lecture Notes in Comput. Sci., 10472, Springer, 2017, 284–297  mathnet  crossref  scopus
28. Fedor Pakhomov, “Solovay’s completeness without fixed points”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Kennedy J., de Queiroz R., Springer, Berlin, 2017, 281–294  mathnet  crossref  isi  scopus
29. Yury Savateev, Daniyar Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 321–336  mathnet  crossref  isi (cited: 1)  scopus (cited: 1)
30. Daniyar Shamkanov, “Global neighbourhood completeness of the Gödel-Löb provability logic”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Juliette Kennedy and Ruy de Queiroz, Springer, 2017, 358–371  mathnet  crossref  isi  scopus
31. S. Kuznetsov, A. Okhotin, “Conjunctive categorial grammars”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 140–151 (W17-3414) http://aclweb.org/anthology/W17-3414  crossref
32. S. Kuznetsov, G. Morrill, O. Valentín, “Count-invariance including exponentials”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 128–139 (W17-3413) http://www.aclweb.org/anthology/W17-3413  crossref
33. Stepan Kuznetsov, “The Lambek calculus with iteration: two variants”, WoLLIC 2017 (London, July 18–21, 2017), Lecture Notes in Comput. Sci., 10388, 2017, 182–198  mathnet  crossref  isi  scopus
34. С. Кузнецов, “Знание — сила!”, Квант, 2017, № 6, 21–24
35. С. Кузнецов, “Расстояния на сфере”, Квант, 2017, № 4, 36–38
36. С. Кузнецов, “Птичка вылетает!”, Квантик, 2017, № 2, 10–11
37. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017), Leibniz Internat. Proc. in Inform., 84, eds. D. Miller, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, 2017, 22:1–22:17  mathnet  crossref  scopus
38. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Fundamentals of Computation Theory, FCT 2017 (Bordeaux, September 11–13, 2017), Lecture Notes in Comput. Sci., 10472, eds. R. Klasing, M. Zeitoun, Springer, 2017, 326–340  mathnet  crossref  scopus
39. S. Kuznetsov, Eliminating the unit constant in the Lambek calculus with brackets, 2017 , 7 pp., arXiv: 1711.06361
40. С. Кузнецов, “Теорема Шаля в трех лицах”, Квант, 2017, № 9 и 10, 10–14 и 2–5, 10 http://mmmf.msu.ru/archive/20152016/KNE/Chasles3.pdf

   2016
41. Alexander Razborov, “A new kind of tradeoffs in propositional proof complexity”, Journal of the ACM, 63:2 (2016), 16 , 14 pp.  mathnet  crossref  isi (cited: 1)  elib  scopus (cited: 7)
42. Igor Lysenok, Alexander Ushakov, “Spherical quadratic equations in free metabelian groups”, Proc. Amer. Math. Soc., 144:4 (2016), 1383–1390 , arXiv: 1304.4898  mathnet  crossref  mathscinet  zmath  isi  elib  scopus (cited: 2)
43. Igor Lysenok, Alexei Miasnikov, Alexander Ushakov, “Quadratic equations in the Grigorchuk group”, Groups Geom. Dyn., 10:1 (2016), 201–239 , arXiv: 1304.5579  mathnet  crossref  mathscinet (cited: 2)  zmath  isi  elib  scopus
44. С. И. Адян, В. С. Атабекян, “$C^*$-простота $n$-периодических произведений”, Матем. заметки, 99:5 (2016), 643–648  mathnet  crossref  mathscinet  zmath  elib; S. I. Adian, V. S. Atabekyan, “$C^*$-Simplicity of $n$-Periodic Products”, Math. Notes, 99:5 (2016), 631–635  crossref  mathscinet  zmath  isi (cited: 2)  elib  scopus (cited: 1)
45. L. D. Beklemishev, “Proof theoretic analysis by iterated reflection”, Turing's revolution, Part II, Birkhäuser/Springer, Cham, 2016, 225–270  crossref  mathscinet  scopus
46. Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46  mathnet  crossref  mathscinet  zmath  isi  elib  scopus
47. L. D. Beklemishev, Notes on a reduction property for GLP-algebras, 2016 , 8 pp., arXiv: 1606.00290
48. Lev Beklemishev, Daniyar Shamkanov, “Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics”, Liber Amicorum Alberti: A tribute to Albert Visser, Tributes, 30, eds. Jan van Eijck, Rosalie Iemhoff and Joost J. Joosten, College Publications, London, 2016, 15–29 url, arXiv: 1602.05728  mathscinet
49. Gerald Berger, Lev D. Beklemishev, Hans Tompits, A Many-Sorted Variant of Japaridze's Polymodal Provability Logic, 2016 , 15 pp., arXiv: 1601.02857
50. Advances in Modal Logic, v. 11, eds. Lev Beklemishev, Stephane Demri, Andras Mate, College Publications, London, 2016 , xii+570 pp.
51. Lev Beklemishev, “Notes on a reduction property of GLP-algebras”, 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August – 2 September, 2016), 2016, 7–13
52. Michelle Bucher, Alexey Talambutsa, “Exponential growth rates of free and amalgamated products”, Israel J. Math., 212:2 (2016), 521–546 , arXiv: 1209.4071  mathnet  crossref  mathscinet (cited: 1)  zmath  isi (cited: 2)  elib  scopus (cited: 2)
53. А. В. Кудинов, И. Б. Шапировский, “О финитной аппроксимируемости модальных логик конечной глубины”, УМН, 71:1(427) (2016), 175–176  mathnet  crossref  mathscinet  zmath  adsnasa  elib; A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys, 71:1 (2016), 164–166  crossref  mathscinet  zmath  isi  scopus
54. В. Б. Шехтман, “Бисимуляционные игры и локально табличные логики”, УМН, 71:5(431) (2016), 185–186  mathnet  crossref  mathscinet  zmath  adsnasa  elib; V. B. Shehtman, “Bisimulation games and locally tabular logics”, Russian Math. Surveys, 71:5 (2016), 979–981  crossref  mathscinet  zmath  isi  scopus
55. M. Bienvenu, S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries” (Cape Town, South Africa, 22 April 2016 – 25 April 2016), CEUR Workshop Proceedings, 1577, 2016 , arXiv: 1604.05258  mathnet  elib  scopus
56. Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216  mathnet  crossref  mathscinet  adsnasa  elib; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199  crossref  mathscinet  isi  scopus
57. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гëделя–Лëба”, Матем. сб., 207:9 (2016), 171–190  mathnet  crossref  mathscinet  zmath  adsnasa  elib; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 1)
58. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537, 2016, 146–158  mathnet  crossref  mathscinet  zmath  isi  elib  scopus (cited: 1)
59. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804, eds. A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla, 2016, 240–256 , arXiv: 1601.06303  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 4)
60. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Тр. МИАН, 294, МАИК, М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  mathscinet  isi  elib  scopus (cited: 1)
61. M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “On the proof theory of non-commutative subexponentials”, Dale Fest!, Seminar in honor of the 60th birthday of Dale Miller (Paris, December 15–16, 2017), Université Paris Diderot, 2016, 10 p. http://www.lsv.fr/~baelde/dale-fest/kanovich-etal.pdf

   2015
62. A. A. Razborov, “Pseudorandom generators hard for $k$-DNF resolution and polynomial calculus resolution”, Ann. of Math. (2), 181:2 (2015), 415–472  mathnet (cited: 3)  crossref  mathscinet  zmath  isi (cited: 4)  elib  scopus (cited: 6)
63. С. И. Адян, В. В. Беняш-Кривец, В. М. Бухштабер, Е. И. Зельманов, В. В. Козлов, Г. А. Маргулис, С. П. Новиков, А. Н. Паршин, Г. Прасад, А. С. Рапинчук, Л. Д. Фаддеев, В. И. Черноусов, “Владимир Петрович Платонов (к 75-летию со дня рождения)”, УМН, 70:1(421) (2015), 204–207  mathnet  crossref  mathscinet  zmath  adsnasa  elib; S. I. Adian, V. V. Benyash-Krivets, V. M. Buchstaber, E. I. Zelmanov, V. V. Kozlov, G. A. Margulis, S. P. Novikov, A. N. Parshin, G. Prasad, A. S. Rapinchuk, L. D. Faddeev, V. I. Chernousov, “Vladimir Petrovich Platonov (on his 75th birthday)”, Russian Math. Surveys, 70:1 (2015), 197–201  crossref  mathscinet  zmath  isi (cited: 2)  scopus (cited: 1)
64. С. И. Адян, “Новые оценки нечетных периодов бесконечных бернсайдовых групп”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 41–82  mathnet (цит.: 5)  crossref  elib; S. I. Adian, “New Estimates of Odd Exponents of Infinite Burnside Groups”, Proc. Steklov Inst. Math., 289 (2015), 33–71  crossref  isi (cited: 9)  elib (cited: 3)  scopus (cited: 3)
65. С. И. Адян, В. С. Атабекян, “Характеристические свойства и равномерная неаменабельность $n$-периодических произведений групп”, Изв. РАН. Сер. матем., 79:6 (2015), 3–17  mathnet (цит.: 4)  crossref  mathscinet (цит.: 2)  adsnasa  elib (цит.: 1); S. I. Adian, Varuzhan Atabekyan, “Characteristic properties and uniform non-amenability of $n$-periodic products of groups”, Izv. Math., 79:6 (2015), 1097–1110  crossref  mathscinet  isi (cited: 4)
66. С. И. Адян, В. В. Беняш-Кривец, В. М. Бухштабер, Е. И. Зельманов, В. В. Козлов, Г. А. Маргулис, С. П. Новиков, А. Н. Паршин, Г. Прасад, А. С. Рапинчук, Л. Д. Фаддеев, В. И. Черноусов, “Владимир Петрович Платонов (к 75-летию со дня рождения)”, Чебышевский сб., 16:4 (2015), 6–10  mathnet
67. G. S. Makanin, A. Sh. Malkhasyan, “General solution of quadratic equations in free groups”, Proceedings of the Yerevan State University. Physical and Mathematical Sciences., 2015, no. 2, 62–65  mathnet
68. L. D. Beklemishev, A note on strictly positive logics and word rewriting systems, 2015 , 8 pp., arXiv: 1509.00666
69. L. D. Beklemishev, D. V. Musatov (eds.), Computer Science – Theory and Applications, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Computer Science, 9139, Springer, 2015 , xx+443 pp.  crossref
70. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20  mathnet (цит.: 1)  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  crossref  mathscinet  zmath  isi (cited: 2)  elib  scopus (cited: 3)
71. K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Inform. and Comput., 240 (2015), 56–73  mathnet  crossref  mathscinet  zmath  isi  elib  scopus (cited: 2)
72. Dima Grigoriev, Vladimir V. Podolskii, “Complexity of tropical and min-plus linear prevarieties”, Comput. Complexity, 24:1 (2015), 31–64 http://www.mpim-bonn.mpg.de/preblob/5202, arXiv: 1204.4578  mathnet (цит.: 1)  crossref  mathscinet (цит.: 2)  zmath  isi (цит.: 3)  scopus (цит.: 4)
73. D. Grigoriev, V. V. Podolskii, “Tropical effective primary and dual Nullstellensätze”, 32nd International Symposium on Theoretical Aspects of Computer Science, LIPIcs. Leibniz Int. Proc. Inform., 30, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, 2015, 379–391  mathnet  crossref  mathscinet (цит.: 1)  zmath  scopus (цит.: 4)
74. V. V. Podolskii, “Circuit complexity meets ontology-based data access”, 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015, Proceedings, Lecture Notes in Comput. Sci., 9139, 2015, 7–26 , arXiv: 1506.01296  mathnet  crossref  mathscinet  zmath  scopus (cited: 2)
75. Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii, “Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results”, 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2015, 317–328  mathnet  crossref  isi (cited: 1)  scopus (cited: 9)
76. Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226  mathnet (цит.: 2)  crossref  elib; F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212  crossref  isi (cited: 3)  elib (cited: 1)  scopus (cited: 4)
77. Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036
78. Daniyar Shamkanov, “Nested sequents for provability logic GLP”, Log. J. IGPL, 23:5 (2015), 789–815  mathnet  crossref  mathscinet  isi (cited: 2)  elib  scopus (cited: 3)
79. С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Тр. МИАН, 290, МАИК, М., 2015, 72–79  mathnet (цит.: 1)  crossref  elib (цит.: 1); S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  crossref  isi (cited: 1)  elib (cited: 1)  scopus (cited: 1)
80. С. Л. Кузнецов, Н. С. Рыжкова, “Фрагмент исчисления Ламбека с итерацией”, Мальцевские чтения 2015 (Новосибирск, 3–7 мая 2015 г.), Институт математики им. С.Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf

   2014
81. А. А. Разборов, “О $(3,4)$-проблеме Турана с запрещенными подграфами”, Матем. заметки, 95:2 (2014), 271–281 , arXiv: 1210.4605  mathnet (цит.: 1)  crossref  mathscinet  elib; A. A. Razborov, “On Turán's $(3,4)$-Problem with Forbidden Subgraphs”, Math. Notes, 95:2 (2014), 247–254  crossref  mathscinet  isi (cited: 2)  elib (cited: 1)  scopus (cited: 2)
82. A. A. Razborov, “A product theorem in free groups”, Ann. of Math. (2), 179:2 (2014), 405–429  mathnet  crossref  mathscinet (cited: 5)  zmath  zmath  isi (cited: 1)  elib (cited: 1)  scopus (cited: 1)
83. С. И. Адян, В. С. Атабекян, “О хопфовости $n$-периодических произведений групп”, Матем. заметки, 95:4 (2014), 483–491  mathnet (цит.: 2)  crossref  mathscinet  elib (цит.: 2); S. I. Adian, V. S. Atabekyan, “The Hopfian Property of $n$-Periodic Products of Groups”, Math. Notes, 95:4 (2014), 443–449  crossref  mathscinet  isi (cited: 3)  elib (cited: 1)  scopus (cited: 1)
84. L. D. Beklemishev, D. Fernández-Duque, J. J. Joosten, “On provability logics with linearly ordered modalities”, Studia Logica, 102:3 (2014), 541–566 , arXiv: 1210.4809  mathnet  crossref  mathscinet (cited: 5)  zmath  isi (cited: 6)  elib (cited: 1)  scopus
85. L. Beklemishev, “Positive provability logic for uniform reflection principles”, Ann. Pure Appl. Logic, 165:1 (2014), 82–105  mathnet  crossref  mathscinet (cited: 1)  zmath  isi (cited: 1)  elib  scopus
86. L. Beklemishev, Y. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 24:1 (2014), 257–282  mathnet  crossref  mathscinet (cited: 2)  zmath  isi (cited: 4)  elib (cited: 5)  scopus (cited: 9)
87. L. Beklemishev, D. Gabelaia, “Topological interpretations of provability logic”, Leo Esakia on duality in modal and intuitionistic logics, Outstanding Contributions to Logic, 4, eds. G. Bezhanishvili, Springer, 2014, 257–290 , arXiv: 1210.7317  crossref  mathscinet
88. Lev Beklemishev, Ruy De Queiroz, Andre Scedrov, “Editors' foreword”, Journal of Computer and System Sciences, 80:6, Special Issue: 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) (2014), 1037  crossref  isi
89. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev, “The price of query rewriting in ontology-based data access”, Artificial Intelligence, 213 (2014), 42–59  mathnet  crossref  mathscinet  zmath  isi (cited: 13)  elib (cited: 13)  scopus (cited: 34)
90. Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev, “On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase”, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), ACM Digital Library, 2014, 57:1–57:10 , arXiv: 1401.4420
91. M. Bienvenu, S. Kikot, V. Podolskii, “Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries”, Description Logics 2014, CEUR Workshop Proceedings, 1193, 2014, 45–57 http://ceur-ws.org/Vol-1193/paper_43.pdf  mathnet  scopus (cited: 2)
92. Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
93. F. Pakhomov, “Ordinal Notations and Fundamental Sequences in Caucal Hierarchy”, Logic Colloquium, Logic, Algebra and Truth Degrees. Abstract Booklet (Vienna, July 14–19), Kurt Gödel Society, 2014, 88
94. Fedor Pakhomov, “Complexity of Fragments of the Logic GLP”, Proof Theory, Modal Logic and Re ection Principles (Mexico City, September 29 – October 2, 2014), ITAM, 2014, 4
95. Д. С. Шамканов, “Циклические выводы для логики доказуемости Гëделя–Лëба”, Матем. заметки, 96:4 (2014), 609–622  mathnet (цит.: 2)  crossref  mathscinet  zmath  elib (цит.: 2); D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585  crossref  mathscinet  zmath  isi (cited: 6)  elib (cited: 1)  scopus (cited: 5)
96. Daniyar Shamkanov, “Circular proofs for provability logic”, LOGIC COLLOQUIUM '13 (Evora, Portugal, July 22–27, 2013), The Bulletin of Symbolic Logic, 20, no. 2, 2014, 242–243 http://www.jstor.org/stable/23800717
97. D. Shamkanov, “Nested sequents for provability logic GLP”, Proof Theory, Modal Logic and Reflection Principles (Mexico City, Mexico, September 29 – October 2, 2014), Instituto Tecnologico Autonomo de Mexico, Mexico City, 2014, 20
98. S. Kuznetsov, “$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents”, Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Lecture Notes in Comput. Sci., 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278  mathnet  crossref  mathscinet  zmath  scopus
99. S. L. Kuznetsov, “Trivalent logics arising from L-models for the Lambek calculus with constants”, J. Appl. Non-Class. Log., 14:1-2 (2014), 132–137  mathnet  crossref  mathscinet  scopus
100. S. Kuznetsov, “On translating context-free grammars into Lambek categorial grammars”, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), Affliated to RTA-TLCA, VSL 2014 (Vienna, July 17–18, 2014), eds. V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, L. S. Moss, J. Saludes, Center for Informatics and Systems of the University of Coimbra, Coimbra, Portugal, 2014, 137–142 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-02.pdf

   2013
101. H. Hatami, J. Hladky, D. Král', S. Norin, A. Razborov, “On the number of pentagons in triangle-free graphs”, J. Combin. Theory Ser. A, 120:3 (2013), 722–732  mathnet  crossref  mathscinet (cited: 20)  zmath  isi (cited: 22)  elib (cited: 11)  scopus (cited: 26)
102. A. Razborov, “On the Caccetta-Häggkvist conjecture with forbidden subgraphs”, J. Graph Theory, 74:2 (2013), 236–248 , arXiv: 1107.2247  mathnet  crossref  mathscinet (cited: 6)  zmath  isi (cited: 8)  elib (cited: 3)  scopus (cited: 8)
103. E. Viola, A. Razborov, “Real advantage”, ACM Trans. Comput. Theory, 5:4 (2013), 17 , 8 pp.  mathnet  crossref  mathscinet (cited: 1)  zmath  scopus (cited: 4)
104. А. А. Разборов, “What is a Flag Algebra?”, Notices Amer. Math. Soc., 60:10 (2013), 1324–1327  crossref  mathscinet
105. A. Razborov, “Flag algebras: an interim report”, Mathematics of Paul Erdős II, Springer, 2013, 207–232  crossref
106. А. А. Аграчëв, Д. В. Аносов, С. М. Асеев, В. М. Бухштабер, А. М. Вершик, Я. Б. Воробец, В. А. Кайманович, Б. С. Кашин, И. Г. Лысëнок, А. Ю. Ольшанский, В. Н. Ремесленников, Я. Г. Синай, С. К. Смирнов, А. М. Степин, И. А. Тайманов, Е. В. Щепин, “Ростислав Иванович Григорчук (к шестидесятилетию со дня рождения)”, УМН, 68:5(413) (2013), 187–190  mathnet  crossref  mathscinet  adsnasa  elib; A. A. Agrachëv, D. V. Anosov, S. M. Aseev, V. M. Buchstaber, A. M. Vershik, Ya. B. Vorobets, V. A. Kaimanovich, B. S. Kashin, I. G. Lysënok, A. Yu. Ol'shanskii, V. N. Remeslennikov, Ya. G. Sinai, S. K. Smirnov, A. M. Stepin, I. A. Taimanov, E. V. Shchepin, “Rostislav Ivanovich Grigorchuk (on his sixtieth birthday)”, Russian Math. Surveys, 68:5 (2013), 967–971  crossref  mathscinet  isi
107. L. Beklemishev, D. Gabelaia, “Topological completeness of the provability logic GLP”, Ann. Pure Appl. Logic, 164:12 (2013), 1201–1223 , arXiv: 1106.5693  mathnet  crossref  mathscinet (cited: 3)  zmath  isi (cited: 8)  elib (cited: 4)  scopus (cited: 6)
108. Л. Д. Беклемишев, “Позитивные логики доказуемости”, Международная конференция “Мальцевские чтения”. Тезисы докладов (Новосибирск, 11–15 ноября 2013 г.), ФГБУН Институт математики им. С.Л. Соболева СО РАН; Новосибирский государственный университет, Новосибирск, 2013, 10 www.math.nsc.ru/conference/malmeet/13/maltsev13.pdf
109. V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, Log. Methods Comput. Sci., 9:2 (2013), 13 , 17 pp.  mathnet  crossref  mathscinet (cited: 1)  zmath  isi  elib  scopus (cited: 1)
110. K. A. Hansen, V. V. Podolskii, “Polynomial threshold functions and Boolean threshold circuits”, Mathematical Foundations of Computer Science 2013, 38th International Symposium, MFCS 2013 (Klosterneuburg, Austria, August 26–30, 2013), Proceedings, Lecture Notes in Computer Science, 8087, Springer, Berlin–Heidelberg, 2013, 516–527 http://eccc.hpi-web.de/report/2013/021/  mathnet  crossref  mathscinet (cited: 1)  zmath  isi (cited: 2)  scopus (cited: 4)
111. S. Kikot, R. Kontchakov, V. Podolskii, M. Zakharyaschev, “Query Rewriting over Shallow Ontologies”, Description Logics 2013, Informal Proceedings of the 26th International Workshop on Description Logics (Ulm, Germany, July 23–26, 2013), CEUR Workshop Proceedings, 1014, 2013, 316–327  mathnet  scopus (cited: 3)
112. K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. Tsigaridas, “Patience of matrix games”, Discrete Appl. Math., 161:16 (2013), 2440–2459  mathnet  crossref  mathscinet  zmath  isi  scopus
113. S. Kuznetsov, “Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives”, Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013, Proceedings, Lecture Notes in Comput. Sci., 8036, Springer, Berlin, 2013, 242–249  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 2)

   2012
114. O. Beyersdorff, N. Galesi, M. Lauria, A. A. Razborov, “Parameterized bounded-depth Frege is not optimal”, ACM Transactions on Computation Theory, 4:3 (2012), 7 , 16 pp.  mathnet  crossref  zmath  scopus (cited: 9)
115. H. Hatami, J. Hladký, D. Král, S. Norin, A. Razborov, “Non-three-colourable common graphs exist”, Combin. Probab. Comput., 21:5 (2012), 734–742  mathnet  crossref  mathscinet (cited: 9)  zmath  isi (cited: 9)  elib (cited: 8)  scopus (cited: 12)
116. А. А. Разборов, Коммуникационная сложность, МЦНМО, 2012 с сайта МЦНМО
117. С. И. Адян, “О методе нахождения точных оценок длин выводов в системах Туэ”, Матем. заметки, 92:1 (2012), 3–18  mathnet  crossref  mathscinet  zmath  elib; S. I. Adian, “On a method for proving exact bounds on derivational complexity in Thue systems”, Math. Notes, 92:1 (2012), 3–15  crossref  mathscinet  zmath  isi  elib  scopus
118. L. D. Beklemishev, “Calibrating provability logic: from modal logic to reflection calculus”, Advances in Modal Logic, 9, eds. T. Bolander, T. Braüner, S. Ghilardi, L. Moss, College Publications, London, 2012, 89–94  zmath  elib
119. L. Beklemishev, G. Bezhanishvili, D. Mundici, Y. Venema, “Foreword [Special issue dedicated to the memory of Leo Esakia]”, Studia Logica, 100:1-2 (2012), 1–7  crossref  mathscinet  isi  scopus
120. L. Beklemishev, “DKAL: A Distributed Knowledge Authorization Language and Its Logic of Information”, Computer Science – Theory and Applications. 7th International Computer Science Symposium in Russia, CSR 2012 (Nizhny Novgorod, Russia, July 3–7, 2012), Lecture Notes in Computer Science, 7353, eds. E. Hirsch, J. Karhumäki, A. Lepistö, M. Prilutskii, Springer, 2012, XIII–XIV  crossref
121. M. Bucher, A. Talambutsa, Exponential growth rates of free and amalgamated products, Report No. 36, 2011/2012, spring, Institut Mittag-Leffler, Swedish Royal Academy of Science, Djursholm, 2012 , 17 pp. IML-1112s-36.pdf
122. В. Б. Шехтман, “Квадраты модальных логик с дополнительными связками”, УМН, 67:4(406) (2012), 129–186  mathnet  crossref  mathscinet  zmath  elib; V. B. Shehtman, “Squares of modal logics with additional connectives”, Russian Math. Surveys, 67:4 (2012), 721–777  crossref  mathscinet  zmath  isi  elib  scopus
123. V. V. Podolskii, “Exponential lower bound for bounded depth circuits with few threshold gates”, Inform. Process. Lett., 112:7 (2012), 267–271  mathnet  crossref  mathscinet  zmath  isi  elib (cited: 1)  scopus (cited: 2)
124. V. V. Podolskii, “Lower bound on weights of large degree threshold functions”, How the World Computes, Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 (Cambridge, UK, June 18–23, 2012), Proceedings, Lecture Notes in Comput. Sci., 7318, Springer–Berlin–Heidelberg, 2012, 599–608 , arXiv: 1204.2652  mathnet  crossref  mathscinet  zmath  scopus
125. K. A. Hansen, R. Ibsen-Jensen, V. V. Podolskii, E. P. Tsigaridas, Patience of matrix games, 2012 , 32 pp., arXiv: 1206.1751
126. S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev, “Exponential lower bounds and separation for query rewriting”, Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012 (Warwick, UK, July 9–13, 2012), Proceedings, Part II, Lecture Notes in Comput. Sci., 7392, Springer Berlin Heidelberg, 2012, 263–274 , arXiv: 1202.4193  mathnet  crossref  mathscinet  zmath  isi (cited: 10)  elib (cited: 11)  scopus (cited: 27)
127. Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160  mathnet (цит.: 3)  crossref  mathscinet (цит.: 2)  zmath  elib (цит.: 1); F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229  crossref  mathscinet  zmath  isi (cited: 4)  elib (cited: 2)  scopus (cited: 2)
128. S. Kuznetsov, “L-completeness of the Lambek calculus with the reversal operation”, Logical aspects of computational linguistics, Lecture Notes in Comput. Sci., 7351, Springer, Heidelberg, 2012, 151–160  mathnet  crossref  mathscinet (cited: 2)  scopus (cited: 1)
129. S. Kuznetsov, “Lambek grammars with the unit”, Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers, Lecture Notes in Comput. Sci., 7395, Springer, Berlin, 2012, 262–266  mathnet  crossref  zmath  scopus (cited: 1)
130. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  mathnet  crossref  mathscinet (cited: 1)  zmath  isi (cited: 1)  scopus (cited: 5)
131. С. Л. Кузнецов, Категориальные грамматики, основанные на вариантах исчисления Ламбека, Дисс. … канд. физ.-матем. наук, МГУ имени М. В. Ломоносова, М., 2012 , 70 с. полный текст (PDF), автореферат (PDF), English translation (PDF), English summary (PDF)

   2011
132. O. Beyersdorff, N. Galesi, M. Lauria, A. Razborov, “Parameterized bounded-depth Frege is not optimal”, Automata, languages and programming, Part I, Lecture Notes in Comput. Sci., 6755, Springer, Heidelberg, 2011, 630–641  crossref  mathscinet (cited: 2)  zmath  scopus (cited: 3)
133. Л. Д. Беклемишев, В. М. Бухштабер, И. Г. Лысëнок, А. А. Мальцев, С. П. Новиков, А. А. Разборов, А. Л. Семëнов, “Сергей Иванович Адян (к восьмидесятилетию со дня рождения)”, УМН, 66:1(397) (2011), 199–200  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, V. M. Buchstaber, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, A. A. Razborov, A. L. Semenov, “Sergei Ivanovich Adian (on his eightieth birthday)”, Russian Math. Surveys, 66:1 (2011), 197–198  crossref  mathscinet  zmath  adsnasa  isi
134. А. А. Разборов, “Об интерпретации Фон-Дер-Флаасса экстремальных примеров для $(3,4)$-проблемы Турана”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 269–290  mathnet (цит.: 5)  mathscinet (цит.: 7)  elib; Alexander A. Razborov, “On the Fon-Der-Flaass interpretation of extremal examples for Turán's $(3,4)$-problem”, Proc. Steklov Inst. Math., 274 (2011), 247–266  crossref  mathscinet  isi (cited: 6)  scopus (cited: 7)
135. J. Nordström, A. Razborov, “On minimal unsatisfiability and time-space trade-offs for $k$-DNF resolution”, Automata, languages and programming. Part I, 38th International Colloquium, ICALP 2011 (Zurich, Switzerland, July 4–8, 2011), Lecture Notes in Computer Science, 6755, eds. Luca Aceto, Monika Henzinger, Jiri Sgall, Springer, Heidelberg, 2011, 642–653  crossref  mathscinet (cited: 2)  zmath  scopus (cited: 1)
136. M. Alekhnovich, A. Razborov, “Satisfiability, branch-width and Tseitin tautologies”, Comput. Complexity, 20:4 (2011), 649–678  crossref  mathscinet (cited: 4)  zmath  isi (cited: 3)  elib (cited: 3)  scopus (cited: 6)
137. A. Borodin, T. Pitassi, A. Razborov, “Special Issue In Memory of Misha Alekhnovich. Foreword”, Computational Complexity, 20:4 (2011), 579–590  crossref  mathscinet  zmath  isi  elib  scopus
138. И. Г. Лысенок, А. Г. Мясников, “Полиномиальная оценка решений квадратичных уравнений в свободных группах”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 148–190  mathnet (цит.: 2)  mathscinet (цит.: 3)  elib; Igor G. Lysenok, Alexei G. Myasnikov, “A polynomial bound on solutions of quadratic equations in free groups”, Proc. Steklov Inst. Math., 274 (2011), 136–173  crossref  mathscinet  isi (cited: 2)  scopus (cited: 2)
139. S. Adian, L. Beklemishev, A. Visser, “Proof and Computation”, J. Logic Computation, 21:4 (2011), 541–542  crossref  isi  scopus
140. П. С. Новиков, С. И. Адян, “Об одной полунепрерывной функции”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 10–14  mathnet  mathscinet  elib; П. С. Новиков, С. И. Адян, “Об одной полунепрерывной функции”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Proc. Steklov Inst. Math., Тр. МИАН, 274, МАИК, М., 2011, 10–14  crossref  mathscinet  isi  scopus
141. Г. С. Маканин, “Параметризация решений уравнения $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ в свободном моноиде”, Матем. заметки, 89:6 (2011), 879–884  mathnet (цит.: 1)  crossref  mathscinet (цит.: 1)  zmath  elib (цит.: 1); G. S. Makanin, “Parametrization of the Solutions of the Equation $x_1x_2\dots x_{n-1}x_n=x_nx_{n-1}\dots x_2x_1$ in a Free Monoid”, Math. Notes, 89:6 (2011), 839–844  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus
142. L. Beklemishev, Y. Gurevich, Propositional primal logic with disjunction, Microsoft Research Technical Report MSR-TR-2011-35, Redmond, 2011 , 31 pp. http://research.microsoft.com/apps/pubs/default.aspx?id=146631
143. Л. Д. Беклемишев, “Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP”, Тр. МИАН, 274, 2011, 32–40  mathnet (цит.: 5)  mathscinet (цит.: 3)  elib (цит.: 2); L. D. Beklemishev, “A simplified proof of arithmetical completeness theorem for provability logic GLP”, Proc. Steklov Inst. Math., 274:1 (2011), 25–33  crossref  mathscinet  isi (cited: 7)  elib (cited: 3)  scopus (cited: 4)
144. L. Beklemishev, R. de Queiroz (eds.), Logic, language, information, and computation, 18th International Workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Comput. Sci., 6642, Springer, 2011 , x+311 pp.  crossref  zmath
145. L. Beklemishev, “Ordinal completeness of bimodal provability logic GLB”, Logic, language, and computation, 8th International Tbilisi Symposium TbiLLC 2009, Lecture Notes in Comput. Sci., 6618, eds. N. Bezhanishvili et al., Springer, Heidelberg, 2011, 1–15  crossref  mathscinet (cited: 3)  zmath  isi (cited: 3)  scopus (cited: 3)
146. Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, ред. Л. Д. Беклемишев, Е. Ф. Мищенко, МАИК «Наука/Интерпериодика», М., 2011 , 351 с.  mathnet
147. Л. Д. Беклемишев, “Предисловие”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 7–9  mathnet  mathscinet; L. D. Beklemishev, “Foreword”, Proc. Steklov Inst. Math., 274 (2011), 1–3  crossref  mathscinet  scopus (cited: 6)  scopus (cited: 6)
148. А. Л. Таламбуца, “О достижимости минимального показателя роста свободных произведений циклических групп”, УМН, 66:1(397) (2011), 179–180  mathnet  crossref  mathscinet  zmath  adsnasa  elib; A. L. Talambutsa, “On the attainability of the minimal growth exponent of free products of cyclic groups”, Russian Math. Surveys, 66:1 (2011), 179–180  crossref  mathscinet  zmath  adsnasa  isi  elib  scopus
149. А. Л. Таламбуца, “О достижимости минимального показателя экспоненциального роста свободных произведений конечных циклических групп”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 314–328  mathnet (цит.: 1)  mathscinet (цит.: 1)  elib; A. L. Talambutsa, “Attainability of the minimal exponential growth rate for free products of finite cyclic groups”, Proc. Steklov Inst. Math., 274 (2011), 289–302  crossref  mathscinet  isi (cited: 2)  elib (cited: 1)  scopus (cited: 2)
150. В. Б. Шехтман, “О квадратах модальных логик с дополнительными связками”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 343–351  mathnet (цит.: 1)  mathscinet; V. B. Shehtman, “On squares of modal logics with additional connectives”, Proc. Steklov Inst. Math., 274 (2011), 317–325  crossref  mathscinet  isi (cited: 1)  scopus (cited: 1)
151. В. В. Подольский, “Однородная по степени нижняя оценка на веса многочленов с заданной знаковой функцией”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 252–268  mathnet (цит.: 1)  mathscinet (цит.: 2)  elib; Vladimir V. Podolskii, “Degree-uniform lower bound on the weights of polynomials with given sign function”, Proc. Steklov Inst. Math., 274 (2011), 231–246  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
152. Д. С. Шамканов, “Интерполяционные свойства логик доказуемости GL и GLP”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Тр. МИАН, 274, МАИК, М., 2011, 329–342  mathnet (цит.: 3)  mathscinet (цит.: 3)  elib (цит.: 2); Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274 (2011), 303–316  crossref  mathscinet  isi (cited: 2)  scopus
153. D. S. Shamkanov, “Strong normalization and confluence for reflexive combinatory logic”, Logic, language, information and computation, 18th international workshop, WoLLIC 2011 (Philadelphia, PA, USA, May 18–20, 2011), Proceedings, Lecture Notes in Computer Science, 6642, eds. L. D. Beklemishev et al., Springer, Berlin, 2011, 228–238  crossref  zmath  isi  scopus
154. С. Л. Кузнецов, “Об исчислении Ламбека с единицей и одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 4, 55–57  mathscinet  elib; S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175  crossref  mathscinet  elib  scopus (cited: 1)
На главную страницу

© Математический институт им. В.А. Стеклова Российской академии наук, 2004–2018
Разработка и дизайн: Отдел КС и ИТ