scientific article; zbMATH DE number 6851910
From MaRDI portal
Publication:4608640
DOI10.4230/LIPICS.MFCS.2016.77zbMATH Open1398.03158MaRDI QIDQ4608640FDOQ4608640
Authors: Thomas Place, Marc Zeitoun 
Publication date: 21 March 2018
Title of this publication is not available (Why is that?)
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
regular languageslogicsmembership problemcovering problemseparation problemdecidable characterizations
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
