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

DOI10.4230/lipics.mfcs.2021.55OpenAlexW3193346578MaRDI QIDQ6168472

Christoph Haase, Alessio Mansutti

Publication date: 8 August 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2021.55

zbMATH Keywords

linear arithmetic\(p\)-adic numbersautomatic structuresBüchi arithmetic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes