LOGICAL DEFINABILITY OF FIXED-POINTS

被引：2

作者：

ARNOLD, A

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(88)90129-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：289 / 297

页数：9

共 7 条

[1]

ARNOLD A, 1987, I8728 U BORD 1 REP

[2] RESULTS ON THE PROPOSITIONAL MU-CALCULUS [J].

KOZEN, D .

[3]

MULLER DE, 1986, LITP8639 REP

[4]

NIWINSKI D, 1986, LECT NOTES COMPUT SC, V226, P464

[5]

Rabin M. O., 1970, MATH LOGIC F SET THE, P1

RABIN, MO .

[7] THE GREATEST FIXED-POINTS AND RATIONAL OMEGA-TREE LANGUAGES [J].

TAKAHASHI, M .