搜索筛选:
搜索耗时3.5780秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[会议论文] 作者：陈翌佳,
来源：2014年南开数理逻辑研讨会 年份：2014
Although theoretical computer science has its origin in logic,starting from 80s,methods and results from algebra and combinatorics have taken a leading role...
[学位论文] 作者：陈翌佳,
来源：上海交通大学 年份：2000
该篇论文包含二部分较为独立的工作:1.并行函数式语言的部分计值研究;2.一种新型的扩充逻辑及其应用于程序验证的研究.研究人员研究的扩充逻辑称为分划逻辑,它是在一阶逻辑的...
[期刊论文] 作者：陈翌佳,孙永强,
来源：软件学报 年份：1997
本文和相关的一篇论文讨论了一个并行程序语言的部分计值器，相关论文已对语言作了介绍。本文交替爱道分析，约束时间分析等问题。...
[期刊论文] 作者：旷海蓉,陈翌佳,
来源：软件学报 年份：1997
本文和相关的论文讨论了一个并行程序语言的部分计值器。本文所使用的语言是在Ｌａｍｂｄａ演算法的基础上加入消息传递的通讯机制。...
相关搜索：
