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 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | 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 назв. — англ. |