论文列表及评分结果
Robust Data Types.
电商所评分：1
The Effect of Fixed-Length Record Implementation on File System Response.
电商所评分：10
Space Efficient Algorithms for Some Graph Theoretical Problems.
电商所评分：6
On the Power of Chain Rules in Context Free Grammars.
电商所评分：9
On a Covering Relation for Context-Free Grammars.
电商所评分：6
Complexity Theory and the Operational Structure of Algebraic Programming Systems.
电商所评分：4
Explaining the Wheel Sieve.
电商所评分：10
Querying Fragmented Relations in a Distributed Database.
电商所评分：6
On Scheduling Tasks with Exponential Service Times and In-Tree Precedence Constraints.
电商所评分：2
Rewrite Systems on a Lattice of Types.
电商所评分：9
An Algorithm for Merging Heaps.
电商所评分：2
Drawing Plane Graphs Nicely.
电商所评分：10
An Effectively Given Initial Semigroup.
电商所评分：5
A 2.5n Lower Bound on the Monotone Network Complexity of T_3^n.
电商所评分：3
A Probabilistic Analysis of the Height of Tries and of the Complexity of Triesort.
电商所评分：9
Using Circular Programs to Eliminate Multiple Traversals of Data.
电商所评分：8
A Logic Covering Undefinedness in Program Proofs.
电商所评分：10
Optimal Divide-and-Conquer to Compute Measure and Contour for a Set of Iso-Rectangles.
电商所评分：6
The Axiomatic Semantics of Programs Based on Hoare's Logic.
电商所评分：2
General Purpose Schedulers for Database Systems.
电商所评分：10
An O(V5/3 E2/3) Algorithm for the Maximal Flow Problem.
电商所评分：2
On Alternation.
电商所评分：9
Size-depht Tradeoff in Non-monotone Boolean Formulae.
电商所评分：10
A Survey of Normal Form Covers for Context Free Grammars.
电商所评分：2
A Note on the Density of Inherently Ambiguous Context-free Languages.
电商所评分：9
LR Parsing for Affix Grammars.
电商所评分：10
A General Proof Rule for Procedures in Predicate Transformer Semantics.
电商所评分：1
A Relational Approach to the Design of Deterministic Programs.
电商所评分：5
Product Properties and Their Direct Verification.
电商所评分：2
On the Performance Evaluation of Extendible Hashing and Trie Searching.
电商所评分：6