Satisfiability Problems in Quasiary Program Logics
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Ceske Budejovice
Abstract
Description
Keywords
Citation
Nikitchenko, Mykola Satisfiability Problems in Quasiary Program Logics / Mykola Nikitchenko, Stepan Shkilniak, Valentyn Tymofieiev // Advanced computer information technologies [Електронний ресурс] = АСІТ 2018 : International Conference Proceedings [Ceske Budejovice, June 1-3, 2018] / responsible for the issue M. Dyvak. - Ceske Budejovice : [w. p.], 2018. - С. 175-177.