Pages that link to "Item:Q2140459"

The following pages link to String theories involving regular membership predicates: from practice to theory and back (Q2140459):

Displaying 2 items.

• An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
• String theories involving regular membership predicates: from practice to theory and back (Q2140459) (← links)