On Expansions of Monadic Second-Order Logic with Dynamical Predicates

MaRDI QIDQ7186042arXivFDO

Authors Joël Ouaknine

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Recurrences (11B37) Linear forms in logarithms; Baker's method (11J86) Normal numbers, radix expansions, Pisot numbers, Salem numbers, good lattice points, etc. (11K16)

arXiv classification

cs.LO

This page was built for publication: On Expansions of Monadic Second-Order Logic with Dynamical Predicates

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