%0 Journal Article %1 journals/corr/Haase14 %A Haase, Christoph %D 2014 %J CoRR %K %T Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy. %U http://dblp.uni-trier.de/db/journals/corr/corr1401.html#Haase14 %V abs/1401.5266

@article{journals/corr/Haase14, added-at = {2023-12-13T01:44:07.000+0100}, author = {Haase, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/20dfe2ad6e8ba3ecd3f536f22b3551e14/admin}, ee = {http://arxiv.org/abs/1401.5266}, interhash = {75b336b46f6c5ce6a83ec1acfd9b85ff}, intrahash = {0dfe2ad6e8ba3ecd3f536f22b3551e14}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T01:44:07.000+0100}, title = {Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1401.html#Haase14}, volume = {abs/1401.5266}, year = 2014 }