Pages that link to "Item:Q2046015"
From MaRDI portal
The following pages link to Dashed strings for string constraint solving (Q2046015):
Displaying 6 items.
- Simple linear string constraints (Q469349) (← links)
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings (Q1626699) (← links)
- Relational string abstract domains (Q2152641) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- String abstract domains and their combination (Q6102247) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)