THE COMPUTATIONAL-COMPLEXITY OF SATISFIABILITY OF TEMPORAL HORN FORMULAS IN PROPOSITIONAL LINEAR-TIME TEMPORAL LOGIC

被引：16
|
作者：
CHEN, CC
LIN, IP
机构：
[1] Department of Computer Science and Information Engineering, National Taiwan University, Taipei
来源：
INFORMATION PROCESSING LETTERS | 1993年 / 45卷 / 03期
关键词：
COMPUTATIONAL COMPLEXITY; TEMPORAL LOGIC; TEMPORAL HORN FORMULA; TEMPORAL LOGIC PROGRAMMING; SATISFIABILITY;
D O I：
10.1016/0020-0190(93)90014-Z
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：131 / 136
页数：6
相关论文
共 50 条
12345