Implementing a fair monodic temporal logic prover
Implementing a fair monodic temporal logic prover
复制标题
实现公平的单时态逻辑证明器
DOI：
10.3233/aic-2010-0457
复制
发表时间：
2010
影响因子：
0.8
通讯作者：
Ludwig M
中科院分区：
文献类型：
--
作者：
Ludwig M
登录
查看更多内容
通用代数中的简单应用题††本文报告的工作得到了美国海军研究办公室的部分支持。
DOI：
--
发表时间：
1970
期刊：
影响因子：
--
作者：
D. Knuth;P. Bendix
通讯作者：
P. Bendix
DOI：
10.1016/s0168-0072(00)00018-x
发表时间：
2000-12
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
I. Hodkinson;F. Wolter;M. Zakharyaschev
通讯作者：
I. Hodkinson;F. Wolter;M. Zakharyaschev
实现一阶时间分辨率：扩展域情况
DOI：
--
发表时间：
2003
期刊：
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.
影响因子：
--
作者：
B. Konev;A. Degtyarev;C. Dixon;Michael Fisher;U. Hustadt
通讯作者：
U. Hustadt
DOI：
--
发表时间：
2008
期刊：
Time
影响因子：
--
作者：
C. Dixon;Michael Fisher;B. Konev;A. Lisitsa
通讯作者：
A. Lisitsa
自动化 Knuth Bendix 订购
影响因子：
0.6
作者：
J. Dick;J. Kalmus;U. Martin
通讯作者：
U. Martin