ON THE COMPUTATIONAL-COMPLEXITY OF SATISFIABILITY IN PROPOSITIONAL LOGICS OF PROGRAMS

被引：2
|
作者：
CHLEBUS, BS
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1982年 / 21卷 / 02期
关键词：
D O I：
10.1016/0304-3975(89)90083-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：179 / 212
页数：34
相关论文
共 50 条
12345