A Deep Inference System for Differential Linear Logic
A Deep Inference System for Differential Linear Logic
复制标题
差分线性逻辑的深度推理系统
DOI：
10.4204/eptcs.353.2
复制
发表时间：
2021
影响因子：
--
通讯作者：
Acclavio M
中科院分区：
文献类型：
--
作者：
Acclavio M
登录
查看更多内容
相互作用和结构的系统
DOI：
--
发表时间：
1999
期刊：
TOCL
影响因子：
--
作者：
Alessio Guglielmi
通讯作者：
Alessio Guglielmi
从泰勒展开式计算连通证明（-结构）
影响因子：
3.4
作者：
Giulio Guerrieri;L. Pellissier;L. Falco
通讯作者：
L. Falco
影响因子：
3.4
作者：
Damiano Mazza;Michele Pagani
通讯作者：
Michele Pagani
DOI：
10.1007/978-3-642-04027-6_36
发表时间：
2009
期刊：
Journal of photochemistry and photobiology. B, Biology
影响因子：
--
作者：
Paolo Tranquilli
通讯作者：
Paolo Tranquilli
DOI：
10.1007/978-3-642-02273-9_17
发表时间：
2009
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Michele Pagani
通讯作者：
Michele Pagani