Dominoes and the AEA case of the decision problem (1962)

by HAO WANG
Venue:In Proceedings of the Symposium on Mathematical Theory of Automata (New