%0 Journal Article %1 journals/jcss/JonssonT16 %A Jonsson, Peter %A Thapper, Johan %D 2016 %J J. Comput. Syst. Sci. %K dblp %N 5 %P 912-928 %T Constraint satisfaction and semilinear expansions of addition over the rationals and the reals. %U http://dblp.uni-trier.de/db/journals/jcss/jcss82.html#JonssonT16 %V 82

@article{journals/jcss/JonssonT16, added-at = {2021-02-16T00:00:00.000+0100}, author = {Jonsson, Peter and Thapper, Johan}, biburl = {https://www.bibsonomy.org/bibtex/22a24110a279204438773da1a1ae7a425/dblp}, ee = {https://doi.org/10.1016/j.jcss.2016.03.002}, interhash = {86b8d3733beb60f924bedb710507e22b}, intrahash = {2a24110a279204438773da1a1ae7a425}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 5, pages = {912-928}, timestamp = {2024-04-08T19:16:01.000+0200}, title = {Constraint satisfaction and semilinear expansions of addition over the rationals and the reals.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss82.html#JonssonT16}, volume = 82, year = 2016 }