EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC

被引：12
作者：
MEYER, AR [1 ]
WINKLMANN, K [1 ]
机构：
[1] WASHINGTON STATE UNIV,DEPT COMP SCI,PULLMAN,WA 99164
来源：
THEORETICAL COMPUTER SCIENCE | 1982年 / 18卷 / 03期
关键词：
D O I：
10.1016/0304-3975(82)90071-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：301 / 323
页数：23
相关论文
共 15 条
[11]  
MEYER AR, 1980, EATCS B JAN, P11
[12]  
Pratt V.R., 1976, FOCS, P109, DOI [10.1109/SFCS.1976.27, DOI 10.1109/SFCS.1976.27]
[13]  
RABIN M, 1970, 37 HEBR U TECHN REP
[14]  
RASIOWA H, 1977, 281 POL AC SCI I COM
[15]  
SALWICKI A, 1970, B ACAD POL SCI SMAP, V18, P227
12