MODELING KNOWLEDGE AND ACTION IN DISTRIBUTED SYSTEMS

被引:68
作者
HALPERN, JY
FAGIN, R
机构
关键词
D O I
10.1007/BF01784885
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:159 / 177
页数:19
相关论文
共 43 条
[41]  
Smullyan R., 1978, WHAT IS NAME THIS BO
[42]   IMPLEMENTATION OF SIMULTANEOUS MEMORY ADDRESS ACCESS IN MODELS THAT FORBID IT [J].
VISHKIN, U .
JOURNAL OF ALGORITHMS, 1983, 4 (01) :45-50
[43]  
[No title captured]