A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints
Quang Loc Le, Mengda He
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
267Downloads
(Pure)
Fingerprint
Dive into the research topics of 'A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints'. Together they form a unique fingerprint.