Quantifier elimination for counting extensions of Presburger arithmetic

Dmitry Chistikov, Christoph Haase, Alessio Mansutti
April 2022
PDF Project DOI
Type
Conference paper
Publication
Foundations of Software Science and Computation Structures, FOSSACS