|
Дискретный анализ и исследование операций, сер. 1, 2001, том 8, выпуск 4, страницы 68–75
(Mi da232)
|
|
|
|
Позитивные BE-представления словарных предикатов
С. С. Марченков Московский государственный университет им. М. В. Ломоносова
Аннотация:
Установлено, что классы арифметических словарных предикатов и рудиментарных
предикатов можно определить через предикаты "$x$ есть начало $y$" и "$x$ есть конец $y$" с использованием только позитивных логических операций дизъюнкции и конъюнкции. Библиогр. 5.
Статья поступила: 03.09.2001
Образец цитирования:
С. С. Марченков, “Позитивные BE-представления словарных предикатов”, Дискретн. анализ и исслед. опер., сер. 1, 8:4 (2001), 68–75
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da232 https://www.mathnet.ru/rus/da/v8/s1/i4/p68
|
Статистика просмотров: |
Страница аннотации: | 220 | PDF полного текста: | 73 |
|