RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Канович Макс Иосифович

Публикации в базе данных Math-Net.Ru

  1. Explorations in subexponential non-associative non-commutative linear logic

    Electron. Proc. Theor. Comput. Sci., 381 (2023),  4–19
  2. Language models for some extensions of the Lambek calculus

    Inform. and Comput., 287 (2022),  104760–16
  3. Non-associative, Non-commutative Multi-modal Linear Logic

    Lecture Notes in Comput. Sci., 13385 (2022),  449–467
  4. Decidable fragments of calculi used in CatLog

    Stud. Comput. Intell., 999 (2022),  1–24
  5. The multiplicative-additive Lambek calculus with subexponential and bracket modalities

    J. Logic Lang. Inf., 30 (2021),  31–88
  6. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

    J. Logic Comput., 30:1 (2020),  239–256
  7. Soft subexponentials and multiplexing

    Lecture Notes in Comput. Sci., 12166 (2020),  500–517
  8. Undecidability of a Newly Proposed Calculus for CatLog3

    Lecture Notes in Comput. Sci., 11668 (2019),  67–83
  9. L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit

    Lecture Notes in Comput. Sci., 11541 (2019),  373–391
  10. The complexity of multiplicative-additive Lambek calculus: 25 years later

    Lecture Notes in Comput. Sci., 11541 (2019),  356–372
  11. Subexponentials in non-commutative linear logic

    Math. Structures Comput. Sci., 29:8 (2019),  1217–1249
  12. Bracket induction for the Lambek calculus with bracket modalities

    Lecture Notes in Comput. Sci., 10950 (2018),  84–101
  13. A logical framework with commutative and non-commutative subexponentials

    Lecture Notes in Comput. Sci., 10900 (2018),  228–245
  14. A polynomial-time algorithm for the Lambek calculus with brackets of bounded order

    Leibniz Internat. Proc. in Inform., 84:22 (2017),  1–17
  15. Undecidability of the Lambek calculus with subexponential and bracket modalities

    Lecture Notes in Comput. Sci., 10472 (2017),  326–340
  16. Undecidability of the Lambek calculus with a relevant modality

    Lecture Notes in Comput. Sci., 9804 (2016),  240–256
  17. On Lambek's restriction in the presence of exponential modalities

    Lecture Notes in Comput. Sci., 9537 (2016),  146–158
  18. О семантике и логике вычислительных задач

    Докл. АН СССР, 305:4 (1989),  778–782
  19. О конструктивности логики вычислительных задач

    Докл. АН СССР, 302:3 (1988),  530–535
  20. Об одном общем методе конструирования конкретных сильно независимых предложений

    Докл. АН СССР, 296:5 (1987),  1046–1050
  21. Квазиполиномиальные алгорифмы распознавания выполнимости и выводимости пропозициональных формул

    Докл. АН СССР, 290:2 (1986),  281–286
  22. Эффективные логические алгорифмы анализа и синтеза зависимостей

    Докл. АН СССР, 285:6 (1985),  1301–1305
  23. Решение задачи Роджерса о соотношении сильной и слабой теорем о рекурсии

    Докл. АН СССР, 279:5 (1984),  1040–1044
  24. О независимости инвариантных предложений

    Докл. АН СССР, 276:1 (1984),  27–31
  25. О сводимости общерекурсивными операторами

    Докл. АН СССР, 273:4 (1983),  793–796
  26. О сложности и сводимости алгоритмических массовых проблем

    Докл. АН СССР, 272:2 (1983),  289–293
  27. Об импликативности решетки табличных степеней алгорифмических проблем

    Докл. АН СССР, 270:5 (1983),  1046–1050
  28. О регистровой сложности адресных машин

    Докл. АН СССР, 268:5 (1983),  1050–1054
  29. О сложности проблемы отделения рекурсивно-перечислимых множеств

    Докл. АН СССР, 267:6 (1982),  1300–1304
  30. О табличных сводимостях проблем продолжения частично-рекурсивных функций

    Докл. АН СССР, 264:2 (1982),  294–298
  31. Оценка сложности неполноты арифметики

    Докл. АН СССР, 238:6 (1978),  1283–1286
  32. Сложные свойства НС-языков

    Докл. АН СССР, 233:3 (1977),  289–292
  33. Точности сложностного критерия нерекурсивности и универсальности

    Докл. АН СССР, 232:6 (1977),  1249–1252
  34. Сложность полных систем эквивалентных преобразований в языках программирования

    Докл. АН СССР, 232:2 (1977),  273–276
  35. Конструкция Деккера и эффективная нерекурсивность

    Докл. АН СССР, 222:5 (1975),  1028–1030
  36. Ступенчатая семантическая система с множественными переменными

    Докл. АН СССР, 221:6 (1975),  1256–1259
  37. “Сложные” и “простые” числа

    Докл. АН СССР, 218:2 (1974),  276–277
  38. Сложность предела шпекеровых последовательностей

    Докл. АН СССР, 214:5 (1974),  1020–1023
  39. Нередуцируемость языков ступенчатой семантической системы

    Докл. АН СССР, 212:4 (1973),  800–803
  40. О сложности аппроксимации арифметических множеств

    Докл. АН СССР, 211:5 (1973),  1038–1041
  41. Об универсальности сильно неразрешимых множеств

    Докл. АН СССР, 204:3 (1972),  533–535
  42. Сложность ограниченного разрешения полуперечислимых множеств

    Докл. АН СССР, 203:6 (1972),  1246–1248
  43. Об областях определения оптимальных алгорифмов

    Докл. АН СССР, 198:2 (1971),  283–285
  44. О сложности минимизации булевых функций

    Докл. АН СССР, 198:1 (1971),  35–38
  45. Сложность разрешения перечислимого множества как критерий его универсальности

    Докл. АН СССР, 194:3 (1970),  500–503
  46. О сложности разрешения рекурсивно перечислимых множеств

    Докл. АН СССР, 192:4 (1970),  721–723
  47. О сложности перечисления и разрешения предикатов

    Докл. АН СССР, 190:1 (1970),  23–26
  48. О сложности разрешения алгорифмов

    Докл. АН СССР, 186:5 (1969),  1008–1009
  49. Некоторые теоремы о сложности нормальных алгорифмов и вычислений

    Докл. АН СССР, 184:6 (1969),  1275–1276
  50. Об оценке сложности некоторых массовых проблем анализа

    Зап. научн. сем. ЛОМИ, 16 (1969),  81–90
  51. Об оценках сложности разрешения алгорифмов

    Зап. научн. сем. ЛОМИ, 16 (1969),  77–80

© МИАН, 2024