Home

DPRLE decision procedure for systems of equations that consist of regular languages, concatenation, and grounded subset constraints.