丁志军 童頫 肖建 黄毅 肖岚 郑力 沈一栋 王成 林闯 蒋昌俊 汤宪飞

Tableau算法 描述逻辑 Web服务 操作语义学 Petri网 PROLOG 逻辑推论 模型理论语义 逻辑程序 指称语义学 函数程序设计语言 不变量计算 一阶谓词 Petri网模型 Web服务组合 谓词逻辑 Prolog语言 关联矩阵 演绎数据库 问题和方法 作用式语言 T-不变量