Effective procedures in field theory 论文
1956Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences引用 255
Computability, Logic, AI Algorithmssemigroups and automata theoryCellular Automata and Applications