Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs
Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs
复制标题
超越公式作为图形：布尔逻辑到任意图形的扩展
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Calk C
中科院分区：
文献类型：
--
作者：
Calk C
登录
查看更多内容
相互作用和结构的系统
DOI：
--
发表时间：
1999
期刊：
TOCL
影响因子：
--
作者：
Alessio Guglielmi
通讯作者：
Alessio Guglielmi
最小不可分解图
影响因子：
0.8
作者：
Alain Cournier;P. Ille
通讯作者：
P. Ille
经典逻辑的局部系统
DOI：
10.1007/3-540-45653-8_24
发表时间：
2001
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Kai Brünnler;Alwen Tiu
通讯作者：
Alwen Tiu
走向组合证明理论
DOI：
--
发表时间：
2019
期刊：
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
影响因子：
--
作者：
B. Ralph;Lutz Straßburger
通讯作者：
Lutz Straßburger
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
D. Andrade;E. Boros;V. Gurvich
通讯作者：
V. Gurvich