On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes

From MaRDI portal
Publication:6168472