Memoryful geometry of interaction

Naohiko Hoshino,Koko Muroya,Ichiro Hasuo

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)（2014）

引用 23|浏览0

暂无评分

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要