TY  - RPRT
TI  - (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints
AU  - Vijay Ganesh
AU  - Mia Minnes
AU  - Armando Solar-Lezama
AU  - Martin Rinard
PY  - 2013
UR  - https://arxiv.org/abs/1306.6054
ID  - 1306.6054
ER  -