论文列表及评分结果
Referential Transparency, Definiteness and Unfoldability.
电商所评分：4
Optimum Checkpoints with Age Dependent Failures.
电商所评分：4
Representing CCS Programs by Finite Predicate/Transition Nets.
电商所评分：7
Attribute Storage Optimization by Stacks.
电商所评分：1
On Generating Database Schemes Bounded or Constant-time-maintainable by Extensibility.
电商所评分：6
Inductive Completion with Retracts.
电商所评分：7
Graph Complexity.
电商所评分：6
Apex Graph Grammars and Attribute Grammars.
电商所评分：7
Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems.
电商所评分：9
The Derivation of Systolic Implementations of Programs.
电商所评分：2
Lifetime Analysis for Attributes.
电商所评分：4
Combinator-Based Compilation of Recursive Functions with Different Parameter Passing Modes.
电商所评分：4
An Efficient General Iterative Algorithm for Dataflow Analysis.
电商所评分：5
The Expressive Theory of Stacks.
电商所评分：3
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
电商所评分：2
A Second Order Theory of Data Types.
电商所评分：7
A Proof System for Distributed Processes.
电商所评分：10
The Complexity of Reachability in Distributed Communicating Processes.
电商所评分：7
Semantic Routines and LR(k) Parsers.
电商所评分：5
Left Context Precedence Grammars.
电商所评分：4
First-Order Identities as a Defining Language.
电商所评分：4
Descriptively Complete Process Logic.
电商所评分：9
Infinite Proof Rules for Loops.
电商所评分：3
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.
电商所评分：6
Predicative Methodology.
电商所评分：3
A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
电商所评分：5
Generating Binary Trees of Bounded Height.
电商所评分：6
Maximum Entropy and the G/G/1/N Queue.
电商所评分：5
Deterministic Grammars and Grammar Morphisms.
电商所评分：5
On the Equivalence of Some Transductions Involving Letter to Letter Morphisms on Regular Languages.
电商所评分：9