Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


САДЫКОВ Р.Ф., МАНДРЫКИН М.У. Полная решающая процедура для теории ограниченной адресной арифметики. Труды Института системного программирования РАН. 2021;33(4):177-194. https://doi.org/10.15514/ISPRAS-2021-33(4)-13

For citation:


SADYKOV R.F., MANDRYKIN M.U. Complete decision procedure for the theory of bounded pointer arithmetic based on quantifier instantiation and SMT. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2021;33(4):177-194. (In Russ.) https://doi.org/10.15514/ISPRAS-2021-33(4)-13



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)