%0 Conference Paper %1 conf/fossacs/HabermehlK15 %A Habermehl, Peter %A Kuske, Dietrich %B FoSSaCS %D 2015 %E Pitts, Andrew M. %I Springer %K dblp %P 375-389 %T On Presburger Arithmetic Extended with Modulo Counting Quantifiers. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2015.html#HabermehlK15 %V 9034 %@ 978-3-662-46677-3

@inproceedings{conf/fossacs/HabermehlK15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Habermehl, Peter and Kuske, Dietrich}, biburl = {https://www.bibsonomy.org/bibtex/2019378bd15e432311877b3e193320e9b/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2015}, editor = {Pitts, Andrew M.}, ee = {https://doi.org/10.1007/978-3-662-46678-0_24}, interhash = {3fa8252df5237e2d637b15b016915c2a}, intrahash = {019378bd15e432311877b3e193320e9b}, isbn = {978-3-662-46677-3}, keywords = {dblp}, pages = {375-389}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:15:14.000+0200}, title = {On Presburger Arithmetic Extended with Modulo Counting Quantifiers.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2015.html#HabermehlK15}, volume = 9034, year = 2015 }