2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…