Defining long words succinctly in FO and MSO

DOI10.3233/COM-230450MaRDI QIDQ7020818zbMATH OpenFDO

Authors Lauri Hella, Miikka Vilander

Publication date 3 March 2025

Published in Computability (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3233/COM-230450

zbMATH Keywords

logic on wordsmonadic second-order logicsuccinctness

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Cites work

This page was built for publication: Defining long words succinctly in FO and MSO

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