论文列表及评分结果
On the Role of Unification in Mechanical Theorem Proving.
电商所评分：3
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes.
电商所评分：7
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs.
电商所评分：7
A Formal Semantics for Concurrent Systems with a Priority Relation.
电商所评分：2
Partial Parametrization Eliminates Multiple Traversals of Data Structures.
电商所评分：8
Electing a Leader in a Ring with Link Failures.
电商所评分：5
Analysis of Space Allocation in a Generally Fragmented Linear Store.
电商所评分：9
Generalized Theory of Serializability.
电商所评分：10
Inferring Multivalued Dependencies From Functional and Join Dependencies.
电商所评分：4
Three Measures for Synchronic Dependence in Petri Nets.
电商所评分：10
A Maximum Entropy Analysis of the M/G/ 1 and G/M/ 1 Queueing Systems at Equilibrium.
电商所评分：8
On Some Variants of Post's Correspondence Problem.
电商所评分：9
An Efficient Incremental LR Parser for Grammars With Epsilon Productions.
电商所评分：9
On-Way Multihead Deterministic Finite Automata.
电商所评分：9
A Lower Time Bound for the Knapsack Problem on Random Access Machines.
电商所评分：7
Parallel Language Recognition in Constant Time by Cellular Automata.
电商所评分：8
A Calculus of Refinements for Program Derivations.
电商所评分：8
Specification and Verification of Database Dynamics.
电商所评分：7
Cooperative Distributed Dynamic Load Balancing.
电商所评分：9
Load Sharing in Distributed Systems with Failures.
电商所评分：6
Contributions to the Semantics of Logic Perpetual Processes.
电商所评分：9
An Easily Testable Optimal-Time VLSI-Multiplier.
电商所评分：10
Partial-Predicate Logic in Computer Science.
电商所评分：1
On Sufficient-Completeness and Related Properties of Term Rewriting Systems.
电商所评分：5
Parallel Approximation Schemes for Subset Sum and Knapsack Problems.
电商所评分：10
Long Unavoidable Patterns.
电商所评分：5
A Result on k -Valent Graphs and Its Application to a Graph Embedding Problem.
电商所评分：4
Time Optimal Left to Right Construction of Position Trees.
电商所评分：3
Optimal Worst Case Trees.
电商所评分：5
Transforming Unbalanced Multiway Trees into a Practical External Data Structure.
电商所评分：4