On deciding linear arithmetic constraints over $p$-adic integers for all primes

Christoph Haase, Alessio Mansutti
January 2021
PDF Project DOI
Type
Conference paper
Publication
Mathematical Foundations of Computer Science, MFCS