We use cookies to improve your experience with our site.

A Structured Temporal Logic Language:XYZ/SE
Construction of the Model of the Lambda Calculus System with Algebraic Operators
Abstract Implementation of Algebraic Specifications in a Temporal Logic Language
Semantic Specification and Verification of Data Flow Diagrams
Design of Quaternary ECL Q Gate
Standard-Cell Placement from Functional Descriptions
A Knowledge-Based Approach to Program Synthesis from Examples
A Common Reasoning Model and Its Application in Knowledge-Based System
Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization
A Complete Critical Path Algorithm for Test Generation of Combinational Circuits
On the Characterization and Fault Identification of Sequentially t-Diagnosable System Under PMC Model
A Fast Algorithm for Polygon Operations
TST——An Algorithm for Global Microcode Compaction with Timing Constraints
Current Issue Cover