Computational properties of the logic of partial quasiary predicates

Mikhail N. Rybakov, Dmitry Shkatov. Computational properties of the logic of partial quasiary predicates. In SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, Cape Town, South Africa, 14-16 September, 2020. pages 58-65, ACM, 2020. [doi]

Abstract

Abstract is missing.