3 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
Quang Loc Le
In this work, we consider the satisfiability problem in a logic that combines word equations over string variables denoting words of unbounded lengths, regular languages to which w…