227 citations
- University of StuttgartDE59 papers
- Max Planck Institute for Intelligent SystemsDE4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Heidelberg UniversityDE3 papers
- Baden-Wuerttemberg Cooperative State UniversityDE2 papers
- British Astronomical AssociationGB2 papers
- Center for Integrated Quantum Science and TechnologyDE2 papers
- Graz University of TechnologyAT2 papers
- Jet Propulsion LaboratoryUS2 papers
- Kirchhoff (Germany)DE2 papers
- Max Planck Institute for Solid State ResearchDE2 papers
- Planetary Science InstituteUS2 papers
Showing 2012 · cs.FLShow all
2 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
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…