6 citations · 7 across the 12 of their papers we have counts for
1 paper · 1 filter
Luc Dartois, Charles Paperman
We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most…