1.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
2.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
3.
Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测
4.
Model Checking Propositional Projection Temporal Logic with Infinite Model;
基于无穷模型命题投影时序逻辑的模型检查
5.
Formal Description and Verification of SoC Based on Projection Temporal Logic;
基于投影时序逻辑的片上系统形式化描述和验证
6.
logic-controlled sequential computer
逻辑控制时序计算机
7.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
8.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
9.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
10.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
11.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法
12.
SIMPLIFIED WAY TO SOLVE TWO PROBLEMS IN SEQUENTIAL CIRCUIT;
时序逻辑电路中两个问题的简化处理
13.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
14.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
15.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
16.
programmed logic array (PLA)
编程逻辑阵列;程控逻辑阵列;程序控制的逻辑阵列;程序控制逻辑阵列;程序逻辑阵列
17.
From Language to Logic--Category and Type Logic Sequence;
从语言到逻辑——范畴类型逻辑序列
18.
Description and Analysis of WS Security Based on Temporal Logic;
基于时序逻辑的Web服务安全形式化描述与分析