流演算研究及约束处理规则chr

【文件属性】：

文件名称：流演算研究及约束处理规则chr

文件大小：15.59MB

文件格式：RAR

更新时间：2013-08-21 07:06:02

流演算，行动推理。相关论文及代码

主要上传些在研究学习中主要研究的课题，流演算理论及其资料。并附上相对于的源代码，之所以公开这些研究成果，主要是希望对后来研究人员有一定帮助。