NONSTANDARD MODELS IN PROPOSITIONAL DYNAMIC LOGIC

被引：0

作者：

BERMAN, F

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 148卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：81 / 85

页数：5

相关论文

共 3 条

[1] BERMAN F, 1979, THESIS U WASHINGTON
[2] FISCHER MJ, 1979, J COMPUT SYSTEM SCI, V18, P2
[3] PARIKH R, 1978, S MATH F COMPUTER SC