首页
期刊浏览
2024年09月20日 星期五
登录
注册
高级检索
专家检索
文章基本信息
标题：
A System of Interaction and Structure II: The Need for Deep Inference
本地全文：
下载
作者：
Alwen Tiu
期刊名称：
Logical Methods in Computer Science
印刷版ISSN：
1860-5974
电子版ISSN：
1860-5974
出版年度：
2006
卷号：
2
期号：
2
出版社：
Technical University of Braunschweig
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有
