Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase
Book Title
Computer Science Logic and Logic in Computer Science‚ CSL−LICS
Pages
47:1–47:10
Publisher
ACM
Year
2014
Christoph Haase