On the power of ordering in linear arithmetic theories

Dmitry Chistikov, Christoph Haase
January 2020
PDF Project DOI
Type
Conference paper
Publication
Automata, Languages, and Programming, ICALP