A generic polynomial time approach to separation by first-order logic without quantifier alternation

DOI10.4230/LIPICS.FSTTCS.2022.43MaRDI QIDQ6604660zbMATH OpenFDO

Authors Thomas Place, Marc Zeitoun

Publication date 12 September 2024

zbMATH Keywords

automatacoveringseparationgroup languagesconcatenation hierarchies

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: A generic polynomial time approach to separation by first-order logic without quantifier alternation

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