Author Search Results :: Harvester open publications of NAS Ukraine

Select result number 1
1

Use of metods of algebraic programming for the formal verification of legal acts

by Peschanenko, V., Poltorackiy, M.
Published in Проблеми програмування (2018)

Get full text

Article

Save to List

Saved in:
Select result number 2
2

Algebraic approach to the analysis of legal documents

by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
Published 2023

Get full text

Article

Save to List

Saved in:
Select result number 3
3

Algebraic approach to the analysis of legal documents

by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu.
Published in Проблеми програмування (2022)

Get full text

Article

Save to List

Saved in:
Select result number 4
4

Formal semantics and analysis of tokenomics properties

by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Published 2023

Get full text

Article

Save to List

Saved in:
Select result number 5
5

Formal semantics and analysis of tokenomics properties

by Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M.Yu., Tarasich, Yu.H., Vinnyk, M.O.
Published in Проблеми програмування (2022)

Get full text

Article

Save to List

Saved in: