Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Канович Макс Иосифович
Сайт: https://www.hse.ru/staff/mkanovich

https://www.mathnet.ru/rus/person72223
https://scholar.google.com/citations?user=K9TSah4AAAAJ&hl=ru
https://mathscinet.ams.org/mathscinet/MRAuthorID/189039
ИСТИНА https://istina.msu.ru/workers/17898631
https://orcid.org/0000-0002-7502-1653
https://www.webofscience.com/wos/author/record/M-6531-2015
https://www.scopus.com/authid/detail.url?authorId=56117921300

Публикации в базе данных 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  mathnet  mathscinet
2022
2. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 287 (2022), 104760  mathnet  scopus 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  mathnet  mathscinet 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  mathnet  scopus 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  mathnet  mathscinet  isi  scopus 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  mathnet  mathscinet  isi  scopus 6
7. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020),  500–517  mathnet  scopus 5
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  mathnet  mathscinet  scopus 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  mathnet  mathscinet  scopus 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  mathnet  mathscinet  scopus 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  mathnet  mathscinet  isi  scopus 22
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  mathnet  mathscinet  scopus 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  mathnet  mathscinet  isi  scopus 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  mathnet  mathscinet  scopus
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  mathnet  mathscinet  isi  scopus 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  mathnet  mathscinet  zmath  elib  scopus 13
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  mathnet  mathscinet  zmath  isi  elib  scopus 3
1989
18. М. И. Канович, “О семантике и логике вычислительных задач”, Докл. АН СССР, 305:4 (1989),  778–782  mathnet  mathscinet  zmath; M. I. Kanovich, “Semantics and logic of computational problems”, Dokl. Math., 39:2 (1989), 334–338
1988
19. М. И. Канович, “О конструктивности логики вычислительных задач”, Докл. АН СССР, 302:3 (1988),  530–535  mathnet  mathscinet  zmath; M. I. Kanovich, “Constructibility of the logic of computational problems”, Dokl. Math., 38:2 (1989), 296–300
1987
20. М. И. Канович, “Об одном общем методе конструирования конкретных сильно независимых предложений”, Докл. АН СССР, 296:5 (1987),  1046–1050  mathnet  mathscinet  zmath; 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  mathnet  mathscinet  zmath
1985
22. М. И. Канович, “Эффективные логические алгорифмы анализа и синтеза зависимостей”, Докл. АН СССР, 285:6 (1985),  1301–1305  mathnet  mathscinet  zmath
1984
23. М. И. Канович, “Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии”, Докл. АН СССР, 279:5 (1984),  1040–1044  mathnet  mathscinet  zmath
24. М. И. Канович, “О независимости инвариантных предложений”, Докл. АН СССР, 276:1 (1984),  27–31  mathnet  mathscinet  zmath
1983
25. М. И. Канович, “О сводимости общерекурсивными операторами”, Докл. АН СССР, 273:4 (1983),  793–796  mathnet  mathscinet  zmath
26. М. И. Канович, “О сложности и сводимости алгоритмических массовых проблем”, Докл. АН СССР, 272:2 (1983),  289–293  mathnet  mathscinet  zmath
27. М. И. Канович, “Об импликативности решетки табличных степеней алгорифмических проблем”, Докл. АН СССР, 270:5 (1983),  1046–1050  mathnet  mathscinet  zmath
28. М. И. Канович, “О регистровой сложности адресных машин”, Докл. АН СССР, 268:5 (1983),  1050–1054  mathnet  mathscinet  zmath
1982
29. М. И. Канович, “О сложности проблемы отделения рекурсивно-перечислимых множеств”, Докл. АН СССР, 267:6 (1982),  1300–1304  mathnet  mathscinet  zmath
30. М. И. Канович, “О табличных сводимостях проблем продолжения частично-рекурсивных функций”, Докл. АН СССР, 264:2 (1982),  294–298  mathnet  mathscinet  zmath
1978
31. М. И. Канович, “Оценка сложности неполноты арифметики”, Докл. АН СССР, 238:6 (1978),  1283–1286  mathnet  mathscinet  zmath
1977
32. М. И. Канович, “Сложные свойства НС-языков”, Докл. АН СССР, 233:3 (1977),  289–292  mathnet  mathscinet  zmath
33. М. И. Канович, “Точности сложностного критерия нерекурсивности и универсальности”, Докл. АН СССР, 232:6 (1977),  1249–1252  mathnet  mathscinet  zmath
34. М. И. Канович, “Сложность полных систем эквивалентных преобразований в языках программирования”, Докл. АН СССР, 232:2 (1977),  273–276  mathnet  mathscinet  zmath
1975
35. М. И. Канович, “Конструкция Деккера и эффективная нерекурсивность”, Докл. АН СССР, 222:5 (1975),  1028–1030  mathnet  mathscinet  zmath
36. М. И. Канович, “Ступенчатая семантическая система с множественными переменными”, Докл. АН СССР, 221:6 (1975),  1256–1259  mathnet  mathscinet  zmath
1974
37. М. И. Канович, ““Сложные” и “простые” числа”, Докл. АН СССР, 218:2 (1974),  276–277  mathnet  mathscinet  zmath
38. М. И. Канович, “Сложность предела шпекеровых последовательностей”, Докл. АН СССР, 214:5 (1974),  1020–1023  mathnet  mathscinet  zmath
1973
39. М. И. Канович, “Нередуцируемость языков ступенчатой семантической системы”, Докл. АН СССР, 212:4 (1973),  800–803  mathnet  mathscinet  zmath
40. М. И. Канович, “О сложности аппроксимации арифметических множеств”, Докл. АН СССР, 211:5 (1973),  1038–1041  mathnet  mathscinet  zmath
1972
41. М. И. Канович, “Об универсальности сильно неразрешимых множеств”, Докл. АН СССР, 204:3 (1972),  533–535  mathnet  mathscinet  zmath
42. М. И. Канович, “Сложность ограниченного разрешения полуперечислимых множеств”, Докл. АН СССР, 203:6 (1972),  1246–1248  mathnet  mathscinet  zmath
1971
43. М. И. Канович, “Об областях определения оптимальных алгорифмов”, Докл. АН СССР, 198:2 (1971),  283–285  mathnet  mathscinet  zmath
44. М. И. Канович, “О сложности минимизации булевых функций”, Докл. АН СССР, 198:1 (1971),  35–38  mathnet  mathscinet  zmath
1970
45. М. И. Канович, “Сложность разрешения перечислимого множества как критерий его универсальности”, Докл. АН СССР, 194:3 (1970),  500–503  mathnet  mathscinet  zmath
46. М. И. Канович, “О сложности разрешения рекурсивно перечислимых множеств”, Докл. АН СССР, 192:4 (1970),  721–723  mathnet  mathscinet  zmath
47. М. И. Канович, “О сложности перечисления и разрешения предикатов”, Докл. АН СССР, 190:1 (1970),  23–26  mathnet  mathscinet  zmath 1
1969
48. М. И. Канович, “О сложности разрешения алгорифмов”, Докл. АН СССР, 186:5 (1969),  1008–1009  mathnet  mathscinet  zmath 1
49. М. И. Канович, Н. В. Петри, “Некоторые теоремы о сложности нормальных алгорифмов и вычислений”, Докл. АН СССР, 184:6 (1969),  1275–1276  mathnet  mathscinet  zmath 1
50. М. И. Канович, Б. А. Кушнер, “Об оценке сложности некоторых массовых проблем анализа”, Зап. научн. сем. ЛОМИ, 16 (1969),  81–90  mathnet  mathscinet  zmath
51. М. И. Канович, “Об оценках сложности разрешения алгорифмов”, Зап. научн. сем. ЛОМИ, 16 (1969),  77–80  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Resource reasoning in program analysis
Max Kanovich
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
25 декабря 2014 г. 16:40   
2. How and Why Separation Logic is good for Resource Reasoning about Programs
Max Kanovich
Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 10:45   

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024