论文列表及评分结果
Extended Linear Macro Grammars, Iteration Grammars, and Register Programs.
电商所评分：7
The Report on the Standard Hardware Representation for ALGOL 68.
电商所评分：4
Proving Programs Correct through Refinement.
电商所评分：9
A Proof Method for Cyclic Programs.
电商所评分：3
On Random 2-3 Trees.
电商所评分：5
On the Complexity of Formal Grammars.
电商所评分：9
Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen.
电商所评分：6
do Considered od: A Contribution to the Programming Calculus.
电商所评分：4
Procédures de reprise dans les systèmes de gestion de base de données réparties.
电商所评分：1
Dynamic Weighted Binary Search Trees.
电商所评分：4
The Average Number of Registers Needed to Evaluate a Binary Tree Optimally.
电商所评分：7
A Useful Lemma for Context-Free Programmed Grammars.
电商所评分：3
On the Expressive Power of Data Dependencies.
电商所评分：4
A Regularity Test for Dual Bordered OS Systems.
电商所评分：10
A Workload Model Representative of Static and Dynamic Characteristics.
电商所评分：5
Constructing Maximal Slicings from Geometry.
电商所评分：7
Graph Theoretic Closure Properties of the Family of Boundary NLC Graph Languages.
电商所评分：8
NP -Hard Problems in Hierarchical-Tree Clustering.
电商所评分：9
The Complexity of Combinatorial Problems with Succinct Input Representation.
电商所评分：8
Data Management Support for Database Management.
电商所评分：6
LALR (1, 1) Parser Generation for Regular Right Part Grammars.
电商所评分：4
Optimal Multiway Search Trees for Variable Size Keys.
电商所评分：3
Axiomatising Finite Delay Operators.
电商所评分：2
Free Choice Systems Have Home States.
电商所评分：2
Maintaining Order in a Generalized Linked List.
电商所评分：2
Generalized Binary Split Trees.
电商所评分：2
A Sharp Proof Rule for Procedures in wp Semantics.
电商所评分：6
Unsafe Operations in B-Trees.
电商所评分：1
The Expected Behaviour of B+-Trees.
电商所评分：7
Stable Duplicate-Key Extraction with Optimal Time and Space Bounds.
电商所评分：1