On the Expressive Power of FO[ + ]

DOI10.1007/978-3-642-13089-2_16zbMath1284.68343OpenAlexW1544363056MaRDI QIDQ3564860

Beatrice Palano, Andreas Malcher, Carlo Mereghetti, Christian Choffrut

Publication date: 26 May 2010

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13089-2_16

zbMATH Keywords

first-order logicbounded languagessemilinear sets

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Descriptive complexity and finite models (68Q19)

Related Items (1)

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

This page was built for publication: On the Expressive Power of FO[ + ]