Normal conditions for inference relations and injective models-猫眼课题宝

DOI：

10.1016/s0304-3975(03)00241-x

发表时间：

2003-12

期刊：

Theor. Comput. Sci.

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

Zhaohui Zhu;Xian Xiao;Yong Zhou;Wujia Zhu