Valérie Berthé

most citedA dynamical view of Tijdeman's solution of the chairman assignment problem

2 citations · 3 across the 4 of their papers we have counts for

collaborators

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2024★ 1 cited

On the Decidability of Monadic Theories of Arithmetic Predicates

Valérie Berthé, Toghrul Karimov, Joris Nieuwveld +3

We investigate the decidability of the monadic second-order (MSO) theory of the structure $⟨ N; <, P_{1}, \dots, P_{d} ⟩$ , for various unary predicates $P_1,\ldots,P…