论文列表及评分结果
Subrekursive Komplexität bei Gruppen: I. Gruppen mit vorgeschriebener Komplexität.
电商所评分：4
An Optimality Theory of Concurrency Control for Databases.
电商所评分：3
Transposition of Large Tabular Data Structures with Applications to Physical Database Organization.
电商所评分：1
Storage Utilization in B*-Trees with a Generalized Overflow Technique.
电商所评分：7
Complexity of Analyzing the Synchronization Structure of Concurrent Programs.
电商所评分：2
The Universe Problem for Unrestricted Flow Languages.
电商所评分：7
Standard Model Semantics for DSL A Data Type Specification Language.
电商所评分：1
A new Lower Bound on the Monotone Network Complexity of Boolean Sums.
电商所评分：3
Methods for the Automatic Construction of Error Correcting Parsers.
电商所评分：9
Efficient LL(1) Error Correction and Recovery Using Only Insertions.
电商所评分：8
Efficient Worst-Case Data Structures for Range Searching.
电商所评分：3
Proving Correctness of Coroutines Without History Variables.
电商所评分：1
An Ogden-Like Iteration Lemma for Rational Power Series.
电商所评分：6
Amounts of Nondeterminism in Finite Automata.
电商所评分：7
Formal Derivation of Strongly Correct Concurrent Programs.
电商所评分：4
Lower Bounds on Space Complexity for Contextfree Recognition.
电商所评分：1
On the Max-Entropy Rule for a Binary Search Tree.
电商所评分：1
Pascal-Clarifications and Recommended Extensions.
电商所评分：3
An Experimentally Validated Model of the Paging Drum.
电商所评分：9
Constructing a Theory of a Data Structure as an Aid to Program Development.
电商所评分：8
Proof Rules for Gotos.
电商所评分：4
A Binary Operation on Trees and an Initial Algebra Characterization for Finite Tree Types.
电商所评分：2
On the Definition of ELR(k) and ELL(k) Grammars.
电商所评分：8
Constructing LR Parsers for Regular Right Part Grammars.
电商所评分：4
An Analytic Storage Allocation Model.
电商所评分：7
A Unified View of the Complexity of Evaluation and Interpolation.
电商所评分：1
Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
电商所评分：4
Weakly Context-Sensitive Languages as Model for Programming Languages.
电商所评分：8
Über die Vernetzungsstruktur von Maschinen.
电商所评分：7
An Abstract Machine Theory for Formal Language Parsers.
电商所评分：8