Adding Successor

DOI10.1145/3356339zbMath1433.03103arXiv1709.10052OpenAlexW2988492552MaRDI QIDQ4972173

Thomas Place, Marc Zeitoun

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.10052

zbMATH Keywords

first-order logicmembership problemregular languagescovering problemseparation problemdecidable characterization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (7)

Pointlike sets and separation: a personal perspective ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies ⋮ The Complexity of Separation for Levels in Concatenation Hierarchies ⋮ Generic results for concatenation hierarchies ⋮ Varieties ⋮ Unnamed Item

This page was built for publication: Adding Successor