Pages that link to "Item:Q2964458"
From MaRDI portal
The following pages link to A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458):
Displaying 9 items.
- An efficient SMT solver for string constraints (Q518402) (← links)
- 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)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← links)
- Incremental dead state detection in logarithmic time (Q6535537) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
- Algorithms for checking intersection non-emptiness of regular expressions (Q6605358) (← links)
