Algebraic approach to the analysis of legal documents

In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as specification of behavior algebra. Having a formal presentation of legal texts allows...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2022
Автори: Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
Формат: Стаття
Мова:English
Опубліковано: Інститут програмних систем НАН України 2022
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/188636
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Algebraic approach to the analysis of legal documents / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy // Проблеми програмування. — 2022. — № 3-4. — С. 117-127. — Бібліогр.: 27 назв. — англ.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine