Pages that link to "Item:Q4633536"
From MaRDI portal
The following pages link to Progressive Reasoning over Recursively-Defined Strings (Q4633536):
Displaying 9 items.
- An SMT solver for regular expressions and linear arithmetic over string length (Q832270) (← links)
- Dashed strings for string constraint solving (Q2046015) (← links)
- On equations and first-order theory of one-relator monoids (Q2051781) (← links)
- Chain-Free String Constraints (Q3297597) (← links)
- (Q5089281) (← links)
- (Q5092406) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
- Program specialization as a tool for solving word equations (Q6646292) (← links)
- On the satisfiability of context-free string constraints with subword-ordering (Q6649435) (← links)
