13 citations · 31 across the 11 of their papers we have counts for
1 paper · 1 filter
Manfred Kufleitner, Jan Philipp Wächter
Fragments of first-order logic over words can often be characterized in terms of finite monoids, and identities of omega-terms are an effective mechanism for specifying classes of…