|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
2024 |
1. |
Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov, “Generalized fusible numbers and their ordinals”, Ann. Pure Appl. Logic, 175 (2024), 103355 , 25 pp. ;
|
1
[x]
|
2. |
Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser, “There are no minimal essentially undecidable theories”, J. Logic Comput., 34:6 (2024), 1159–1171 ;
|
3
[x]
|
|
2023 |
3. |
J. P. Aguilera, F. Pakhomov, “The $\Pi^1_2$ consequences of a theory”, J. London Math. Soc., 107:3 (2023), 1045–1073 , arXiv: 2109.11652 ;
|
2
[x]
|
4. |
Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 23:2 (2023), 2250001 , 38 pp. ;
|
1
[x]
|
5. |
Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, Provable better quasi orders, 2023 , 3 pp., arXiv: 2305.01066 |
6. |
Anton Freund, Fedor Pakhomov, Giovanni Soldà, The logical strength of minimal bad arrays, 2023 , 11 pp., arXiv: 2304.00278 |
7. |
J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020 , 11 pp. ; |
8. |
J. P. Aguilera, F. Pakhomov, “The spectrum of $\Pi^1_3$-soundness”, Philos. Trans. R. Soc. A, 381 (2023), 20220013 , 18 pp. ;
|
1
[x]
|
|
2022 |
9. |
С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 86:6 (2022), 207–222 ; S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86:6 (2022), 1225–1239
|
1
[x]
|
10. |
Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Ann. Pure Appl. Logic, 173:5 (2022), 103093 , 41 pp. ;
|
9
[x]
|
11. |
Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 54:6 (2022), 2513–2531 , arXiv: 2109.02548 ;
|
2
[x]
|
|
2021 |
12. |
Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384 , arXiv: 1805.02095 ;
|
5
[x]
|
13. |
Fedor Pakhomov and James Walsh, Reflection ranks via infinitary derivations, 2021 , 11 pp., arXiv: 2107.03521 |
|
2020 |
14. |
A. Freund, F. Pakhomov, “Short proofs for slow consistency”, Notre Dame J. Formal Logic, 61:1 (2020), 31–49 , arXiv: 1712.03251 ;
|
2
[x]
|
15. |
Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020), 1681–1693 , arXiv: 2004.03404 ;
|
3
[x]
|
|
2019 |
16. |
Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7 , arXiv: 1710.05599 |
17. |
Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713
|
3
[x]
|
18. |
Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890
|
15
[x]
|
19. |
Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302 |
20. |
F. Pakhomov, A weak set theory that proves its own consistency, 2019 , 25 pp., arXiv: 1907.00877 |
|
2018 |
21. |
Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, International Symposium on Logical Foundations of Computer Science (Deerfield Beach, FL, USA, January 8–11, 2018), Lecture Notes in Comput. Sci., 10703, Springer, 2018, 354–367 , arXiv: 1709.07341
|
2
[x]
|
|
2017 |
22. |
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 arxiv: 1703.10262
|
2
[x]
|
|
2016 |
23. |
Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216 ; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199
|
1
[x]
|
|
2015 |
24. |
Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226 ; F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212
|
5
[x]
|
25. |
Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036 |
|
2014 |
26. |
Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967
|
9
[x]
|
27. |
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 |
28. |
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 |
|
2012 |
29. |
Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160 ; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229
|
4
[x]
|
|
Доклады и лекции в базе данных Math-Net.Ru |
1. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$ (continuation) F. N. Pakhomov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 27 марта 2023 г. 18:30
|
2. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$ F. N. Pakhomov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 20 марта 2023 г. 18:30
|
3. |
Алгебры рефлексии для предикативных расширений арифметики Пеано Л. Д. Беклемишев, Ф. Н. Пахомов
Научная сессия МИАН, посвященная подведению итогов 2022 года 23 ноября 2022 г. 11:00
|
4. |
How to escape Tennenbaum's Theorem? F. N. Pakhomov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 21 ноября 2022 г. 18:30
|
5. |
Generalized Fusible Numbers F. N. Pakhomov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 12 апреля 2021 г. 18:30
|
6. |
Ранги рефлексии и ординальный анализ Ф. Н. Пахомов
Научная сессия МИАН, посвященная подведению итогов 2020 года 25 ноября 2020 г. 11:15
|
7. |
Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis F. N. Pakhomov
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 19 октября 2020 г. 18:30
|
8. |
О полноте трансфинитных итераций схем рефлексии Ф. Н. Пахомов
Семинар лаборатории математической логики (Санкт-Петербург) 12 мая 2020 г. 18:30
|
9. |
Бар-индукция для классов в арифметике второго порядка Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 28 октября 2019 г. 18:30
|
10. |
Бар-индукция для классов в арифметике второго порядка Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 21 октября 2019 г. 18:30
|
11. |
Аксиома детерминированности, занятие 4 Ф. Н. Пахомов
Летняя школа «Современная математика» имени Виталия Арнольда, 2019 25 июля 2019 г. 15:30
|
12. |
Аксиома детерминированности, занятие 3 Ф. Н. Пахомов
Летняя школа «Современная математика» имени Виталия Арнольда, 2019 23 июля 2019 г. 09:30
|
13. |
Аксиома детерминированности, занятие 2 Ф. Н. Пахомов
Летняя школа «Современная математика» имени Виталия Арнольда, 2019 21 июля 2019 г. 11:15
|
14. |
Аксиома детерминированности, занятие 1 Ф. Н. Пахомов
Летняя школа «Современная математика» имени Виталия Арнольда, 2019 19 июля 2019 г. 11:15
|
15. |
Лекция 26. Ординальный анализ теории $\mathsf{ATR}_0$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 20 мая 2019 г. 16:30
|
16. |
Лекция 25. Ординальный анализ теории $\mathsf{ACA}$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 13 мая 2019 г. 16:30
|
17. |
Лекция 24. Некоторые факты о системе $\mathsf{ATR}_0$. Доказательство фундированности в $\mathsf{ATR}_0$ для ординалов $<\Gamma_0$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 29 апреля 2019 г. 16:30
|
18. |
Лекция 23. $\mathsf{HYP}$, как наименьшая $\omega$-модель теории $\Sigma^1_1\textrm{-}\mathsf{AC}_0$. Теория $\mathsf{ATR}_0$ и детерминированность открытых игр. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 22 апреля 2019 г. 16:30
|
19. |
Итерации $\Pi^1_1$-рефлексии Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 15 апреля 2019 г. 18:30
|
20. |
Лекция 22. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 15 апреля 2019 г. 16:30
|
21. |
Итерации $\Pi^1_1$-рефлексии Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 8 апреля 2019 г. 18:30
|
22. |
О границах применимости второй теоремы Гёделя о неполноте Ф. Н. Пахомов
Заседания Московского математического общества 2 апреля 2019 г. 18:30
|
23. |
Лекция 20. $\alpha$-большие множества и фундированность. Нормальные формы $\Pi^1_1$-формул. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 1 апреля 2019 г. 16:30
|
24. |
Лекция 19. $\Pi_2$-консервативность $\mathsf{WKL}_0$ над $\mathsf{PRA}$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 25 марта 2019 г. 18:40
|
25. |
Лекция 18. Стандартные системы, множества Скотта и $\alpha$-большие множества. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 18 марта 2019 г. 16:30
|
26. |
Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}_0$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 11 марта 2019 г. 16:45
|
27. |
О коротких доказательствах медленной непротиворечивости Ф. Н. Пахомов
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая
логика» 24 декабря 2018 г. 15:25
|
28. |
Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1_1$-ординалов теорий Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 17 декабря 2018 г. 16:30
|
29. |
Лекция 11. $\omega$-выводы. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 10 декабря 2018 г. 16:30
|
30. |
Лекция 10. Система обозначений для ординала $\Gamma_0$. Доказательства трансфинитной индукции вплоть до $\varepsilon_0$ в $\mathsf{PA}$. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 3 декабря 2018 г. 16:30
|
31. |
О новом методе ординального анализа теории множеств Крипке-Платека Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 ноября 2018 г. 18:30
|
32. |
О новом методе ординального анализа теории множеств Крипке-Платека Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 12 ноября 2018 г. 18:30
|
33. |
Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2). Ф. Н. Пахомов, Л. Д. Беклемишев
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 12 ноября 2018 г. 16:30
|
34. |
Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 1). Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 29 октября 2018 г. 16:30
|
35. |
Лекция 5. Теорема об устранении сечения для исчисления Тейта. Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 22 октября 2018 г. 16:30
|
36. |
Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него. Л. Д. Беклемишев, Ф. Н. Пахомов
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 15 октября 2018 г. 16:30
|
37. |
Об аксиоме ограниченности в слабых теориях множеств Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 марта 2018 г. 18:30
|
38. |
Теоремы об ускорении доказательств в арифметике Пресбургера Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 27 февраля 2018 г. 18:30
|
39. |
О некоторых результатах о принципах рефлексии в арифметике Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 18 декабря 2017 г. 18:30
|
40. |
Solovay’s completeness without fixed points F. Pakhomov
Workshop on Proof Theory, Modal Logic and Reflection Principles 20 октября 2017 г. 12:50
|
41. |
Об индукции в теориях итерированных определений истины Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 9 октября 2017 г. 18:30
|
42. |
Об интерпретациях арифметики Пресбургера в самой себе А. А. Запрягаев, Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 3 октября 2017 г. 18:30
|
43. |
Об индукции в теориях итерированных определений истины Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 2 октября 2017 г. 18:35
|
44. |
Цепи из утверждений о медленной непротиворечивости Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 3 апреля 2017 г. 18:30
|
45. |
О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 28 февраля 2017 г. 18:30
|
46. |
О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 19 декабря 2016 г. 18:30
|
47. |
Линейные $GLP$-алгебры и их элементарные теории Ф. Н. Пахомов
Научная сессия МИАН, посвященная подведению итогов 2016 года 16 ноября 2016 г. 14:15
|
48. |
Новое доказательство теоремы Соловея об арифметической полноте логики GL Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 15 ноября 2016 г. 18:30
|
49. |
Семантика квазидоказуемости для полных по Крипке расширений логики GL Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 8 ноября 2016 г. 18:30
|
50. |
О новом доказательстве теоремы Соловея Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 сентября 2016 г. 18:30
|
51. |
Предикативные подсистемы арифметики второго порядка. Лекция 10 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 29 апреля 2016 г. 17:30
|
52. |
Предикативные подсистемы арифметики второго порядка. Лекция 9 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 22 апреля 2016 г. 17:30
|
53. |
Системы ординальных обозначений в иерархии Кукаля Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 19 апреля 2016 г. 18:30
|
54. |
Предикативные подсистемы арифметики второго порядка. Лекция 8 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 15 апреля 2016 г. 17:30
|
55. |
Предикативные подсистемы арифметики второго порядка. Лекция 7 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 1 апреля 2016 г. 18:00
|
56. |
Предикативные подсистемы арифметики второго порядка. Лекция 6 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 25 марта 2016 г. 17:30
|
57. |
Предикативные подсистемы арифметики второго порядка. Лекция 5 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 18 марта 2016 г. 17:30
|
58. |
Предикативные подсистемы арифметики второго порядка. Лекция 4 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 11 марта 2016 г. 17:30
|
59. |
Предикативные подсистемы арифметики второго порядка. Лекция 3 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 4 марта 2016 г. 17:30
|
60. |
Предикативные подсистемы арифметики второго порядка. Лекция 2 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 26 февраля 2016 г. 17:30
|
61. |
Предикативные подсистемы арифметики второго порядка. Лекция 1 Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016 19 февраля 2016 г. 17:30
|
62. |
Биинтерпретируемость для расширений ZF Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 15 февраля 2016 г. 18:30
|
63. |
О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 27 октября 2015 г. 18:30
|
64. |
Итерации медленной непротиворечивости. Часть 2 Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 октября 2015 г. 18:30
|
65. |
Итерации медленной непротиворечивости. Часть 1 Ф. Н. Пахомов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 19 октября 2015 г. 18:30
|
66. |
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 9 Ф. Н. Пахомов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 15 апреля 2015 г. 18:00
|
67. |
О разрешимости элементарной теории свободной GLP-алгебры, порожденной константами Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 3 марта 2015 г. 18:30
|
68. |
О разрешимости элементарных теорий некоторых систем ординальных обозначений, построенных на основе логики GLP Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 24 февраля 2015 г. 18:30
|
69. |
Об алгоритмической сложности замкнутого фрагмента логики доказуемости GLP Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 9 апреля 2013 г. 18:30
|
70. |
О разрешимости элементарных теорий алгебр доказуемости и их фрагментов Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 23 октября 2012 г. 18:30
|
71. |
Об одном классе разрешимых монадических теорий графов Ф. Н. Пахомов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 20 марта 2012 г. 18:30
|
|