8 citations · 19 across the 13 of their papers we have counts for
1 paper · 1 filter
Dominik D. Freydenberger, Liat Peterfreund
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of con…