4 citations · 9 across the 6 of their papers we have counts for
Showing 2012 · cs.FLShow all
3 papers · 2 filters
cs.FL2012★ 2 cited
The Join Levels of the Trotter-Weil Hierarchy are Decidable
Manfred Kufleitner, Alexander Lauser
The variety DA of finite monoids has a huge number of different characterizations, ranging from two-variable first-order logic FO^2 to unambiguous polynomials. In order to study th…
cs.FL2012
The Join of the Varieties of R-trivial and L-trivial Monoids via Combinatorics on Words
Manfred Kufleitner, Alexander Lauser
The join of two varieties is the smallest variety containing both. In finite semigroup theory, the varieties of R-trivial and L-trivial monoids are two of the most prominent classe…
cs.FL2012
Lattices of Logical Fragments over Words
Manfred Kufleitner, Alexander Lauser
This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, e…