Title | Citations | PageRank | Year |
---|---|---|---|
Pattern Matching on Grammar-Compressed Strings in Linear Time | 0 | 0.34 | 2022 |
Reachability in Bidirected Pushdown VASS | 0 | 0.34 | 2022 |
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification | 0 | 0.34 | 2022 |
Compression by Contracting Straight-Line Programs. | 0 | 0.34 | 2021 |
Querying languages over sliding windows. | 0 | 0.34 | 2017 |