Чисті першопорядкові квазіaрні логіки з предикатами рівності

Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами слабкої рівності та з предикатами строгої рівності. Описано мови та семан...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2017
Автори: Нікітченко, М.С., Шкільняк, C.С.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2017
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/144472
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Чисті першопорядкові квазіaрні логіки з предикатами рівності / М.С. Нікітченко, C.С. Шкільняк // Проблеми програмування. — 2017. — № 2. — С. 3-23. — Бібліогр.: 9 назв. — укр.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine