Pavages multidimensionnels et logique MSO

Rémi Pallen, Ilkka Törmä. Multidimensional Tilings and MSO Logic. 21st Conference on Computability in Europe, CiE 2025, Jul 2025, Lisbonne, Portugal. pp.365-379, ⟨10.1007/978-3-031-95908-0_26⟩. ⟨hal-05137647⟩

Publié le 11 juillet 2025