Subclasses of Presburger arithmetic and the weak EXP hierarchy

Christoph Haase
January 2014
PDF DOI
Type
Conference paper
Publication
Computer Science Logic and Logic in Computer Science, CSL-LICS