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
DOI
Computability, Logic, AI Algorithmssemigroups and automata theoryAlgorithms and Data Compression
Algorithms and Data CompressionComputability, Logic, AI Algorithmssemigroups and automata theory
相关技术:Algorithms and Data CompressionComputability, Logic, AI Algorithms
关系图谱

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. · 作者

J

J Büchi