Pages that link to "Item:Q5061883"
From MaRDI portal
The following pages link to Computational and Proof Complexity of Partial String Avoidability (Q5061883):
Displaying 9 items.
- The string guessing problem as a method to prove lower bounds on the advice complexity (Q744093) (← links)
- A complete mechanization of correctness of a string-preprocessing algorithm (Q816208) (← links)
- Testing avoidability on sets of partial words is hard (Q1006080) (← links)
- The invariant problem for binary string structures and the parallel complexity theory of queries (Q1191022) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- (Q3114378) (← links)
- (Q4608614) (← links)
- Insufficiency of four known necessary conditions on string unavoidability (Q5692273) (← links)
- Variant Satisfiability of Parameterized Strings (Q6486037) (← links)