M.Tatsuta: "Realizability for Constructive Theory of Functions and Classes and Its Application to Program Synthesis" Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science. (1998)
M.Tatsuta: "Realizability for Constructive Theory of Functions and Classes and Its Application to Program Synthesis" Proceedings of Thirteenth Annual IEEE Symposium on Logic in Computer Science. (1998)
复制标题
M.Tatsuta：“函数和类的构造理论的可实现性及其在程序综合中的应用”第十三届 IEEE 计算机科学逻辑研讨会论文集。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
