未找到相关数据
Logic, semantics and theory of programming Preface
被引：0
作者：
Mislove, Michael
[1
]
机构：
[1] Tulane Univ, Dept Math, New Orleans, LA 70118 USA
关键词：
D O I：
10.1016/j.tcs.2010.01.020
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1899 / 1899
页数：1
相关论文