中山大学学报(自然科学版)2009，Vol.48Issue(1)：137-140,4.
并发Lambek演算在时态查询中的语义转换
Semantic Transform of Concurrence Lambek Calculus in Temporal Querying
摘要
关键词
时态查询/并发的Lambek演算/语义转换/标号自然演绎系统分类
信息技术与安全科学引用本文复制引用
刘冬宁,汤庸..并发Lambek演算在时态查询中的语义转换[J].中山大学学报(自然科学版),2009,48(1):137-140,4.基金项目
国家自然基金资助项目(60673135、60373081) （60673135、60373081）
国家自然科学资金重点资助项目(60736020) （60736020）
广东省自然科学基金资助项目(7003721) （7003721）
广东省科技攻关资助项目(07B010200052) （07B010200052）
广州市科技计划资助(07Z3-D3191) （07Z3-D3191）
