scientific article; zbMATH DE number 6851910

DOI10.4230/LIPICS.MFCS.2016.77MaRDI QIDQ4608640zbMATH OpenFDO

Authors Thomas Place, Marc Zeitoun

Publication date 21 March 2018

zbMATH Keywords

regular languageslogicsmembership problemcovering problemseparation problemdecidable characterizations

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• scientific article; zbMATH DE number 2040900
• scientific article; zbMATH DE number 5003534
• Cover semantics for quantified lax logic
• The logic of exact covers: completeness and uniform interpolation
• scientific article; zbMATH DE number 4002067
• scientific article; zbMATH DE number 3963825
• LATIN 2004: Theoretical Informatics
• On the covering relation in the interpretability lattice of equational theories
• Expressive power and incompleteness of propositional logics

Cited in

(9)

• Separating regular languages with two quantifier alternations
• Covering and separation for logical fragments with modular predicates
• Separating Without Any Ambiguity.
• Generic results for concatenation hierarchies
• scientific article; zbMATH DE number 5003534 (Why is no real title available?)
• scientific article; zbMATH DE number 4116527 (Why is no real title available?)
• Deciding classes of regular languages: the covering approach
• The covering problem
• Concatenation hierarchies: new bottle, old wine

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608640)