8 citations · 25 across the 18 of their papers we have counts for
1 paper · 2 filters
Taolue Chen, Yan Chen, Matthew Hague +2
Recently, it was shown that any theory of strings containing the string-replace function (even the most restricted version where pattern/replacement strings are both constant strin…