Tags

free groups
symbolic dynamics
Reachability
Recurrences
Workshop
metric trees
orbit counting