Computable symbolic dynamics (0)

by D Cenzer, A Dashti, J L F King
Venue:In:Mathematical Logic Quarterly 54.5 (2008