Togashi,Atsushi: "On the relationship between Concurrent Process Calculi and Logic" Proc. of 6th Karuizawa Workshop on Circuits and Systems. 537-542 (1993)
Togashi,Atsushi: "On the relationship between Concurrent Process Calculi and Logic" Proc. of 6th Karuizawa Workshop on Circuits and Systems. 537-542 (1993)
复制标题
Togashi，Atsushi：“论并发过程演算与逻辑之间的关系”Proc。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
