Document Preview Unavailable

Presburger Arithmetic with algebraic scalar multiplications

Hieronymi, Philipp; Nguyen, Danny; Pak, Igor.  arXiv.org, Jul 19, 2021.

You might have access to this document