formal specification; mobile agents; temporal logic; computational universality; dynamic system specification; flexible constants; mobile agents; predicate abstraction; predicate linear; temporal logic;
机译:掺的氟锆酸玻璃光纤绿色(/ spl lambda // spl sim / 549 nm)的调谐,时间和光谱特性
机译:程序逻辑演算中的谓词抽象
机译:可见的双仿真等效项-时间逻辑验证的统一抽象
机译:谓词/ spl lambda / -abstraction的时间逻辑
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:前额叶皮层组织:时间抽象关系抽象和功能磁共振成像的分离作用。
机译:具有谓词抽象的时态逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑