Pages that link to "Item:Q2828250"
From MaRDI portal
The following pages link to String solving with word equations and transducers: towards a logic for analysing mutation XSS (Q2828250):
Displaying 14 items.
- An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- A decision procedure for string to code point conversion (Q2096448) (← links)
- Word equations in the context of string solving (Q2163975) (← links)
- Towards more efficient methods for solving regular-expression heavy string constraints (Q2680985) (← links)
- Chain-Free String Constraints (Q3297597) (← links)
- (Q5028423) (← links)
- (Q5089281) (← links)
- (Q5091265) (← links)
- A solver for arrays with concatenation (Q6156632) (← links)
- Decision procedures for sequence theories (Q6535526) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
- On the structure of solution-sets to regular word equations (Q6614609) (← links)
- On the satisfiability of context-free string constraints with subword-ordering (Q6649435) (← links)
