Frantisek Silvási, Martin Tomásek. Lean formalization of bounded grids and computable cellular automata defined thereover. Science of Computer Programming, 195:102471, 2020. [doi]
@article{SilvasiT20, title = {Lean formalization of bounded grids and computable cellular automata defined thereover}, author = {Frantisek Silvási and Martin Tomásek}, year = {2020}, doi = {10.1016/j.scico.2020.102471}, url = {https://doi.org/10.1016/j.scico.2020.102471}, researchr = {https://researchr.org/publication/SilvasiT20}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {195}, pages = {102471}, }