?
The multiplicative-additive Lambek calculus with subexponential and bracket modalities
Journal of Logic, Language and Information. 2021. Vol. 30. No. 1. P. 31-88.
Научное направление:
Компьютерные науки
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Ключевые слова: categorial grammarLambek calculusUndecidabilitycut eliminationLambek calculus with bracketsSubexponential modality
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Kontchakov R., Pratt-Hartmann I., Nenov Y. и др., ACM Transactions on Computational Logic 2013 Vol. 14 No. 2 P. 13.1-13.48
We consider the quantifier-free languages, Bc and Bc°, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of Rn (n ≥ 2) and, additionally, over the regular closed semilinear sets of Rn. ...
Добавлено: 25 марта 2015 г.
Brotherston J., Канович М. И., Journal of the ACM 2014 Vol. 61 No. 2 P. 14:1-14:43
Добавлено: 23 марта 2015 г.
Канович М. И., Кузнецов С. Л., Morrill G. и др., , in : Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).: [б.и.], 2017. P. 22:1-22:17.
Добавлено: 15 сентября 2017 г.
Канович М. И., Ban Kirigin T., Nigam V. и др., Computer Languages, Systems & Structures 2014 No. 40 P. 137-154
Добавлено: 23 марта 2015 г.
Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719-744
Добавлено: 1 сентября 2016 г.
Погудин Г. А., Scanlon T., Wibmer M., / Cornell University. Series "Working papers by Cornell University". 2019.
Добавлено: 1 ноября 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Skoptsov K. A., Sheshenin S., Галатенко В. В. и др., International Journal of Applied Mechanics 2016 Vol. 8 No. 2 P. 1650016-01-1650016-18
We present a method for evaluating elastic properties of a composite material produced by molding a resin filled with short elastic fibers. A flow of the filled resin is simulated numerically using a mesh-free method. After that, assuming that spatial distribution and orientation of fibers are not significantly changed during polymerization, effective elastic moduli of ...
Добавлено: 22 мая 2016 г.
Chuprikov P., Николенко С. И., Davydow A. и др., IEEE Transactions on Networking 2018 Vol. 26 No. 1 P. 342-355
Добавлено: 14 марта 2018 г.
Chernyshev S. V., Cherepanov E. A., Pankratiev E. V. и др., Journal of Mathematical Sciences 2005 Vol. 128 No. 6 P. 3487-3495
Добавлено: 27 января 2014 г.
В статье представлена технология, позволяющая собирать в полевых исследованиях пространственно локализованные данные об объектах городской среды. Технология основана на автоматической привязке фотографий к пространственным координатам. Приведен план полевых и камеральных мероприятий, предложены варианты ГИС-обработки собираемых таким образом данных. В качестве примера приведены данные об использовании белорусского языка в общественном пространстве городов Белоруссии. ...
Добавлено: 12 апреля 2015 г.
Сотникова С. Ю., Динамика сложных систем 2012 № 3 С. 84-87
В статье описывается разработанный программный комплекс моделирования физических процессов, который также позволяет проводить идентификацию параметров печатного узла (физической модели), на котором реализуется проектируемый бортовой источник вторичного электропитания. Для него разработаны интерфейсы связи управляющей программы с известными программами моделирования и оптимизации. ...
Добавлено: 5 декабря 2014 г.
Карпов В. Э., Карпова И. П., Procedia Engineering 2015 Vol. 100 P. 1459-1468
Добавлено: 14 марта 2015 г.
М. : Издательский центр «Российский государственный гуманитарный университет», 2019
Сборник включает 27 докладов международной конференции по компьютерной лингвистике и интеллектуальным технологиям «Диалог 2019», не вошедшие в ежегодник «Компьютерная лингвистика и интеллектуальные технологии», но рекомендованные Программным Комитетом к представлению на конференции. Для специалистов в области теоретической и прикладной лингвистики и интеллектуальных технологий. ...
Добавлено: 10 декабря 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in : Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2019. P. 373-391.
Добавлено: 4 сентября 2019 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Springer, 2012
Добавлено: 29 января 2013 г.
Добавлено: 15 декабря 2015 г.
Шуранов Е. В., / Cornell University. Series Computer Science "arxiv.org". 2021.
Добавлено: 14 февраля 2023 г.
Гостев И. М., М. : Юрайт, 2016
В настоящее время компьютерные науки стремительно развиваются. Новые версии операционных систем появляются каждые полтора-два года, поэтому было принято решение о включении в данную книгу такого материала, который не будет устаревать. Содержание учебника представляет собой некоторые наиболее общие принципы построения операционных систем, которые были разработаны более 50 лет назад и практически не изменились за прошедшее время. ...
Добавлено: 13 октября 2009 г.
Borchmann D., Hanika T., Объедков С. А., Discrete Applied Mathematics 2020 Vol. 273 P. 30-42
Добавлено: 29 октября 2019 г.
Каз. : Издательство «Фэн» Академии наук Республики Татарстан, 2013
Материалы и доклады Шестой Всероссийской научно-практической конференции по имитацонному моделированию и его применению в науке и промышленности. ...
Добавлено: 14 декабря 2013 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.