INCOMPLETENESS OF 1ST-ORDER TEMPORAL LOGIC WITH UNTIL

被引：29
|
作者：
SZALAS, A
HOLENDERSKI, L
机构：
[1] Warsaw Univ, Warsaw, Pol, Warsaw Univ, Warsaw, Pol
来源：
THEORETICAL COMPUTER SCIENCE | 1988年 / 57卷 / 2-3期
关键词：
D O I：
10.1016/0304-3975(88)90045-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：317 / 325
页数：9
相关论文
共 50 条
12345