%0 Journal Article %1 journals/pacmpl/DayGGM23 %A Day, Joel D. %A Ganesh, Vijay %A Grewal, Nathan %A Manea, Florin %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 278-308 %T On the Expressive Power of String Constraints. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#DayGGM23 %V 7

@article{journals/pacmpl/DayGGM23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Day, Joel D. and Ganesh, Vijay and Grewal, Nathan and Manea, Florin}, biburl = {https://www.bibsonomy.org/bibtex/29455e7af980d0b75ac91600c74ef8a28/dblp}, ee = {https://doi.org/10.1145/3571203}, interhash = {1e6d137fbc4496b670eb969828fbb1bf}, intrahash = {9455e7af980d0b75ac91600c74ef8a28}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {278-308}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {On the Expressive Power of String Constraints.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#DayGGM23}, volume = 7, year = 2023 }