@article{DBLP:journals/corr/GaneshMSR13,
  author       = {Vijay Ganesh and
                  Mia Minnes and
                  Armando Solar{-}Lezama and
                  Martin C. Rinard},
  title        = {(Un)Decidability Results for Word Equations with Length and Regular
                  Expression Constraints},
  journal      = {CoRR},
  volume       = {abs/1306.6054},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.6054},
  eprinttype    = {arXiv},
  eprint       = {1306.6054},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GaneshMSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"PFqaPfuPi7WpJ7MEg","bibbaseid":"ganesh-minnes-solarlezama-rinard-undecidabilityresultsforwordequationswithlengthandregularexpressionconstraints-2013","downloads":0,"creationDate":"2015-05-13T06:23:45.261Z","title":"(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints","author_short":["Ganesh, V.","Minnes, M.","Solar-Lezama, A.","Rinard, M. C."],"year":2013,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vijay"],"propositions":[],"lastnames":["Ganesh"],"suffixes":[]},{"firstnames":["Mia"],"propositions":[],"lastnames":["Minnes"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Martin","C."],"propositions":[],"lastnames":["Rinard"],"suffixes":[]}],"title":"(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints","journal":"CoRR","volume":"abs/1306.6054","year":"2013","url":"http://arxiv.org/abs/1306.6054","eprinttype":"arXiv","eprint":"1306.6054","timestamp":"Mon, 01 Jul 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/GaneshMSR13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/GaneshMSR13,\n author = {Vijay Ganesh and\n Mia Minnes and\n Armando Solar{-}Lezama and\n Martin C. Rinard},\n title = {(Un)Decidability Results for Word Equations with Length and Regular\n Expression Constraints},\n journal = {CoRR},\n volume = {abs/1306.6054},\n year = {2013},\n url = {http://arxiv.org/abs/1306.6054},\n eprinttype = {arXiv},\n eprint = {1306.6054},\n timestamp = {Mon, 01 Jul 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/GaneshMSR13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ganesh, V.","Minnes, M.","Solar-Lezama, A.","Rinard, M. C."],"key":"DBLP:journals/corr/GaneshMSR13","id":"DBLP:journals/corr/GaneshMSR13","bibbaseid":"ganesh-minnes-solarlezama-rinard-undecidabilityresultsforwordequationswithlengthandregularexpressionconstraints-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1306.6054"},"metadata":{"authorlinks":{"solar-lezama, a":"https://groups.csail.mit.edu/cap/#projects"}},"downloads":0},"search_terms":["decidability","results","word","equations","length","regular","expression","constraints","ganesh","minnes","solar-lezama","rinard"],"keywords":[],"authorIDs":["GNDG7jN4NcBAe8MZj"],"dataSources":["rGuy4xgsrB7zfgooW","aWDTff4xwjWuNyMM5","DAnxudWukpMXCtWy8"]}