RESULTS ON THE PROPOSITIONAL MU-CALCULUS

被引：1006
|
作者：
KOZEN, D [1 ]
机构：
[1] AARHUS UNIV,DK-8000 AARHUS C,DENMARK
来源：
THEORETICAL COMPUTER SCIENCE | 1983年 / 27卷 / 03期
关键词：
D O I：
10.1016/0304-3975(82)90125-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：333 / 354
页数：22
相关论文
共 50 条
12345