×
乔尔吉·贾普里泽

命题可计算逻辑。二、。 （英语） Zbl 1367.03057号

ACM事务处理。计算。日志。 7，第2期，331-362（2006）.

引用于11文件

MSC公司：

03B70号 计算机科学中的逻辑
03楼52 线性逻辑和其他子结构逻辑的理论证明
2005年第68季度 计算模型（图灵机等）（MSC2010）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
91A80 博弈论的应用

关键词：

可计算逻辑;计算资源;博弈语义;交互式算法;线性逻辑

引文：

Zbl 1367.03056号
PDF格式BibTeX公司 XML格式引用
\textit{G.Japaridze}，ACM翻译。计算。日志。7，第2号，331--362（2006；Zbl 1367.03057）
全文： 内政部 arXiv公司