Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35. 论文
1964Journal of Symbolic Logic引用 238
Computability, Logic, AI Algorithmssemigroups and automata theoryAlgorithms and Data Compression
摘要
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35. - Volume 29 Issue 4