Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Відділення інформатики за автором "Peschanenko, V.S."

Репозиторій DSpace/Manakin

Перегляд Відділення інформатики за автором "Peschanenko, V.S."

Сортувати за: Порядок: Результатів:

  • Algebraic approach to the analysis of legal documents 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu. (Проблеми програмування, 2022)
    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 ...
  • Formal semantics and analysis of tokenomics properties 
    Letychevskyi, O.O.; Peschanenko, V.S.; Poltorackiy, M.Yu.; Tarasich, Yu.H.; Vinnyk, M.O. (Проблеми програмування, 2022)
    Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same ...
  • The Non-Deterministic Strategy of Rewriting 
    Letichevsky, A.A.; Letichevskyi, O.A.; Peschanenko, V.S. (Управляющие системы и машины, 2013)
    Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис