Automated Synthesis of Tableau Calculi
Automated Synthesis of Tableau Calculi
复制标题
Tableau 演算的自动合成
DOI：
10.2168/lmcs-7(2:6)2011
复制
发表时间：
2011
影响因子：
0.6
通讯作者：
Schmidt R
中科院分区：
文献类型：
--
作者：
Schmidt R
登录
查看更多内容
最小空间上的 CSL 的 Tableau 演算
DOI：
--
发表时间：
2010
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
R. Alenda;N. Olivetti;C. Schwind;D. Tishkovsky
通讯作者：
D. Tishkovsky
公告逻辑的 Tableaux
DOI：
10.1093/logcom/exn060
发表时间：
2010
期刊：
J. Log. Comput.
影响因子：
--
作者：
P. Balbiani;H. V. Ditmarsch;A. Herzig;T. Lima
通讯作者：
T. Lima
模态逻辑的单步 Tableaux
DOI：
--
发表时间：
2000
期刊：
Journal of automated reasoning
影响因子：
--
作者：
F. Massacci
通讯作者：
F. Massacci
证明演绎数据库的有限可满足性
DOI：
--
发表时间：
1987
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
François Bry;R. Manthey
通讯作者：
R. Manthey
关于度量和拓扑的自动推理
DOI：
--
发表时间：
2006
期刊：
European Conference on Logics in Artificial Intelligence
影响因子：
--
作者：
U. Hustadt;D. Tishkovsky;F. Wolter;M. Zakharyaschev
通讯作者：
M. Zakharyaschev