Enumerating Independent Linear Inferences
Enumerating Independent Linear Inferences
复制标题
枚举独立线性推论
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Anupam Das
中科院分区：
文献类型：
--
作者：
Anupam Das
登录
查看更多内容
DOI：
--
发表时间：
2007
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
Lutz Straßburger
通讯作者：
Lutz Straßburger
相互作用和结构的系统
DOI：
--
发表时间：
1999
期刊：
TOCL
影响因子：
--
作者：
Alessio Guglielmi
通讯作者：
Alessio Guglielmi
超越公式的逻辑：图的证明系统
DOI：
10.1145/3373718.3394763
发表时间：
2020
期刊：
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Matteo Acclavio;Ross Horne;Lutz Straßburger
通讯作者：
Lutz Straßburger
图上的解析命题证明系统
DOI：
10.46298/lmcs-18(4:1)2022
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
Matteo Acclavio;Ross Horne;Lutz Straßburger
通讯作者：
Lutz Straßburger
线性逻辑的局部系统
DOI：
--
发表时间：
2002
期刊：
Logic Programming and Automated Reasoning
影响因子：
--
作者：
Lutz Straßburger
通讯作者：
Lutz Straßburger