Communication dans un congrès, Mathématiques
Pavages multidimensionnels et logique MSO
Rémi Pallen, Ilkka Törmä. Multidimensional Tilings and MSO Logic. CiE 2025 - 21st Conference on Computability in Europe, Jul 2025, Lisbonne, Portugal. pp.365-379, ⟨10.1007/978-3-031-95908-0_26⟩. ⟨hal-05137647⟩
Publié le