Результати пошуку - Poltorackiy, M.
- Показ 1 - 5 результатів із 5
-
1
Use of metods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V., Poltorackiy, M.
Опубліковано в: Проблеми програмування (2018)Отримати повний текст
Стаття -
2
Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
Опубліковано в: Проблеми програмування (2022)Отримати повний текст
Стаття -
3
Algebraic approach to the analysis of legal documents за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
Опубліковано 2023Отримати повний текст
Стаття -
4
Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Опубліковано в: Проблеми програмування (2022)Отримати повний текст
Стаття -
5
Formal semantics and analysis of tokenomics properties за авторством Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Опубліковано 2023Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
UDC 519.85
УДК 519.85
Формальні методи програмування
algebraic matching
algebraic modeling
behavior algebra
decentralization
formal methods
formalization
incompleteness
insertion modeling
legal text mining
symbolic modeling
tokenomic equilibrium
tokenomics
Методи та засоби програмної інженерії
алгебра поведінки
алгебраїчне зіставлення
алгебраїчне моделювання
децентралізація
неповнота
символьне моделювання
токеноміка
токеномічна рівновага
формальні методи
формалізація
інсерційне моделювання
інтелектуальний аналіз юридичного тексту