Computable functions and semicomputable sets on many-sorted algebras

Computable functions and semicomputable sets on many-sorted algebras
复制标题

多排序代数上的可计算函数和半可计算集

DOI:
10.1093/oso/9780198537816.003.0008
复制
发表时间:
2001
期刊:
Theor. Comput. Sci.
影响因子:
--
通讯作者:
J. Zucker
J. Zucker
中科院分区:
--
文献类型:
--
作者:
J. V. Tucker;J. Zucker

文献摘要

被引文献

相似文献