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

Type
Publication
Mathematical Foundations of Computer Science, MFCS