Labelled Tableaux for Temporal Logic with Cardinality Constraints
Labelled Tableaux for Temporal Logic with Cardinality Constraints
复制标题
具有基数约束的时态逻辑标记 Tableaux
DOI：
10.1109/synasc.2012.47
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Dixon C
中科院分区：
文献类型：
--
作者：
Dixon C
登录
查看更多内容
DOI：
--
发表时间：
2005-03
期刊：
--
影响因子：
--
作者：
Michael Fisher;D. Gabbay;L. Vila
通讯作者：
Michael Fisher;D. Gabbay;L. Vila
Tableau 演算的自动合成
影响因子：
0.6
作者：
Schmidt R
通讯作者：
Schmidt R
命题演算中基于基数的语言的两个证明过程
DOI：
--
发表时间：
1994
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
B. Benhamou;L. Sais;P. Siegel
通讯作者：
P. Siegel
DOI：
10.1145/2559947
发表时间：
2012-08
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
R. Schmidt;D. Tishkovsky
通讯作者：
R. Schmidt;D. Tishkovsky
逻辑工作台1.0
DOI：
--
发表时间：
1998
期刊：
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
影响因子：
--
作者：
P. Balsiger;Alain Heuerding;Stefan Schwendimann
通讯作者：
Stefan Schwendimann