Repository landing page
Groups, graphs, languages, automata, games and second-order monadic logic
Abstract
International audienc- info:eu-repo/semantics/article
- Journal articles
- Finitely generated graph
- pushdown automaton
- Word Problem
- context-free group
- ends of a graph
- monadic second-order logic
- tiling problems
- cellular automata
- 03D05 20F05 20F10 20F65 20F69 37B15 68Q70 68Q80
- [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]
- [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]