Every One-Black-Cell Langton Ant Reaches the Period-104 Highway: A Lean-Checked Proof

Ke, Hao

DOI: 10.5281/zenodo.23844645

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.