假设逻辑理论相关硕士博士期刊学术论文

介绍了基本的推测计算理论,并以此为基础给出了推测计算的扩展框架,其中包括进一步资源协商框架。提出了基于进程约简的资源协商算......