|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
1. |
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Explorations in subexponential non-associative non-commutative linear logic”, Electron. Proc. Theor. Comput. Sci., 381 (2023), 4–19 |
|
2022 |
2. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 287 (2022), 104760 |
2
|
3. |
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, Non-commutative Multi-modal Linear Logic”, Lecture Notes in Comput. Sci., 13385 (2022), 449–467 |
1
|
4. |
Max. I. Kanovich, Stepan G. Kuznetsov, Stepan L. Kuznetsov, Andre Scedrov, “Decidable fragments of calculi used in CatLog”, Stud. Comput. Intell., 999 (2022), 1–24 |
1
|
|
2021 |
5. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30 (2021), 31–88 |
5
|
|
2020 |
6. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities”, J. Logic Comput., 30:1 (2020), 239–256 |
6
|
7. |
Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020), 500–517 |
4
|
|
2019 |
8. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019), 67–83 |
1
|
9. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, Lecture Notes in Comput. Sci., 11541 (2019), 373–391 |
4
|
10. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, Lecture Notes in Comput. Sci., 11541 (2019), 356–372 |
7
|
11. |
Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8 (2019), 1217–1249 |
21
|
|
2018 |
12. |
Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Lecture Notes in Comput. Sci., 10950 (2018), 84–101 |
5
|
13. |
Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Lecture Notes in Comput. Sci., 10900 (2018), 228–245 |
9
|
|
2017 |
14. |
Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, Leibniz Internat. Proc. in Inform., 84:22 (2017), 1–17 |
15. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Lecture Notes in Comput. Sci., 10472 (2017), 326–340 |
9
|
|
2016 |
16. |
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804 (2016), 240–256 |
12
|
17. |
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 |
3
|
|
1989 |
18. |
М. И. Канович, “О семантике и логике вычислительных задач”, Докл. АН СССР, 305:4 (1989), 778–782 ; M. I. Kanovich, “Semantics and logic of computational problems”, Dokl. Math., 39:2 (1989), 334–338 |
|
1988 |
19. |
М. И. Канович, “О конструктивности логики вычислительных задач”, Докл. АН СССР, 302:3 (1988), 530–535 ; M. I. Kanovich, “Constructibility of the logic of computational problems”, Dokl. Math., 38:2 (1989), 296–300 |
|
1987 |
20. |
М. И. Канович, “Об одном общем методе конструирования конкретных сильно независимых
предложений”, Докл. АН СССР, 296:5 (1987), 1046–1050 ; M. I. Kanovitch, “A general method for constructing concrete strongly independent
propositions”, Dokl. Math., 36:2 (1988), 348–352 |
|
1986 |
21. |
М. И. Канович, “Квазиполиномиальные алгорифмы распознавания выполнимости и выводимости
пропозициональных формул”, Докл. АН СССР, 290:2 (1986), 281–286 |
|
1985 |
22. |
М. И. Канович, “Эффективные логические алгорифмы анализа и синтеза зависимостей”, Докл. АН СССР, 285:6 (1985), 1301–1305 |
|
1984 |
23. |
М. И. Канович, “Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии”, Докл. АН СССР, 279:5 (1984), 1040–1044 |
24. |
М. И. Канович, “О независимости инвариантных предложений”, Докл. АН СССР, 276:1 (1984), 27–31 |
|
1983 |
25. |
М. И. Канович, “О сводимости общерекурсивными операторами”, Докл. АН СССР, 273:4 (1983), 793–796 |
26. |
М. И. Канович, “О сложности и сводимости алгоритмических массовых проблем”, Докл. АН СССР, 272:2 (1983), 289–293 |
27. |
М. И. Канович, “Об импликативности решетки табличных степеней алгорифмических проблем”, Докл. АН СССР, 270:5 (1983), 1046–1050 |
28. |
М. И. Канович, “О регистровой сложности адресных машин”, Докл. АН СССР, 268:5 (1983), 1050–1054 |
|
1982 |
29. |
М. И. Канович, “О сложности проблемы отделения рекурсивно-перечислимых множеств”, Докл. АН СССР, 267:6 (1982), 1300–1304 |
30. |
М. И. Канович, “О табличных сводимостях проблем продолжения частично-рекурсивных функций”, Докл. АН СССР, 264:2 (1982), 294–298 |
|
1978 |
31. |
М. И. Канович, “Оценка сложности неполноты арифметики”, Докл. АН СССР, 238:6 (1978), 1283–1286 |
|
1977 |
32. |
М. И. Канович, “Сложные свойства НС-языков”, Докл. АН СССР, 233:3 (1977), 289–292 |
33. |
М. И. Канович, “Точности сложностного критерия нерекурсивности и универсальности”, Докл. АН СССР, 232:6 (1977), 1249–1252 |
34. |
М. И. Канович, “Сложность полных систем эквивалентных преобразований в языках программирования”, Докл. АН СССР, 232:2 (1977), 273–276 |
|
1975 |
35. |
М. И. Канович, “Конструкция Деккера и эффективная нерекурсивность”, Докл. АН СССР, 222:5 (1975), 1028–1030 |
36. |
М. И. Канович, “Ступенчатая семантическая система с множественными переменными”, Докл. АН СССР, 221:6 (1975), 1256–1259 |
|
1974 |
37. |
М. И. Канович, ““Сложные” и “простые” числа”, Докл. АН СССР, 218:2 (1974), 276–277 |
38. |
М. И. Канович, “Сложность предела шпекеровых последовательностей”, Докл. АН СССР, 214:5 (1974), 1020–1023 |
|
1973 |
39. |
М. И. Канович, “Нередуцируемость языков ступенчатой семантической системы”, Докл. АН СССР, 212:4 (1973), 800–803 |
40. |
М. И. Канович, “О сложности аппроксимации арифметических множеств”, Докл. АН СССР, 211:5 (1973), 1038–1041 |
|
1972 |
41. |
М. И. Канович, “Об универсальности сильно неразрешимых множеств”, Докл. АН СССР, 204:3 (1972), 533–535 |
42. |
М. И. Канович, “Сложность ограниченного разрешения полуперечислимых множеств”, Докл. АН СССР, 203:6 (1972), 1246–1248 |
|
1971 |
43. |
М. И. Канович, “Об областях определения оптимальных алгорифмов”, Докл. АН СССР, 198:2 (1971), 283–285 |
44. |
М. И. Канович, “О сложности минимизации булевых функций”, Докл. АН СССР, 198:1 (1971), 35–38 |
|
1970 |
45. |
М. И. Канович, “Сложность разрешения перечислимого множества как критерий его универсальности”, Докл. АН СССР, 194:3 (1970), 500–503 |
46. |
М. И. Канович, “О сложности разрешения рекурсивно перечислимых множеств”, Докл. АН СССР, 192:4 (1970), 721–723 |
47. |
М. И. Канович, “О сложности перечисления и разрешения предикатов”, Докл. АН СССР, 190:1 (1970), 23–26 |
1
|
|
1969 |
48. |
М. И. Канович, “О сложности разрешения алгорифмов”, Докл. АН СССР, 186:5 (1969), 1008–1009 |
1
|
49. |
М. И. Канович, Н. В. Петри, “Некоторые теоремы о сложности нормальных алгорифмов и вычислений”, Докл. АН СССР, 184:6 (1969), 1275–1276 |
1
|
50. |
М. И. Канович, Б. А. Кушнер, “Об оценке сложности некоторых массовых проблем анализа”, Зап. научн. сем. ЛОМИ, 16 (1969), 81–90 |
51. |
М. И. Канович, “Об оценках сложности разрешения алгорифмов”, Зап. научн. сем. ЛОМИ, 16 (1969), 77–80 |
|