Skip to Main content Skip to Navigation
Conference papers

The domino problem is undecidable on surface groups

Abstract : We show that the domino problem is undecidable on orbit graphs of non-deterministic substitutions which satisfy a technical property. As an application, we prove that the domino problem is undecidable for the fundamental group of any closed orientable surface of genus at least 2.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02157971
Contributor : Etienne Moutot Connect in order to contact the contributor
Submitted on : Monday, June 17, 2019 - 3:56:02 PM
Last modification on : Saturday, September 11, 2021 - 3:19:17 AM

File

DP_surface_ftw.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02157971, version 1
  • ARXIV : 1811.08420

Collections

Citation

Nathalie Aubrun, Sebastián Barbieri, Etienne Moutot. The domino problem is undecidable on surface groups. MFCS2019 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨hal-02157971⟩

Share

Metrics

Record views

27

Files downloads

28