论文列表及评分结果
Is Text Compression by Prefixes and Suffixes Practical?
电商所评分：3
On the Generative Power of Regular Pattern Grammars.
电商所评分：7
On Specification of Multiprocessor Computing.
电商所评分：4
The Instability of Self-Stabilization.
电商所评分：10
Tableau-Based Model Checking in the Propositional Mu-Calculus.
电商所评分：9
On the Valuedness of Finite Transducers.
电商所评分：2
Context Free Derivations on Word Monoids.
电商所评分：5
Performance Predictions for Extended Paged Memories.
电商所评分：8
Optimum Binary Search Trees.
电商所评分：3
A Model for Data Structures and Its Applications. I.
电商所评分：2
The Programming Language Pascal.
电商所评分：2
Ein Vollständigkeitssatz für Programme und Schaltkreise.
电商所评分：10
On Hierarchies of Abstract Data Types.
电商所评分：5
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.
电商所评分：4
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
电商所评分：3
On Sets of Boolean n -Projections Surjective.
电商所评分：5
On Merging Software Extensions.
电商所评分：5
The Reliability of Life-Critical Computer Systems.
电商所评分：7
Availability of a Distributed Computer System with Failures.
电商所评分：3
Information Theoretic Analysis for a General Queueing System at Equilibrium with Application to Queues in Tandem.
电商所评分：1
Sets with Small Generalized Kolmogorov Complexity.
电商所评分：8
Decomposition of Graphs and Monotone Formula Size of Homogeneous Functions.
电商所评分：5
Monte Carlo Circuits for the Abelian Permutation Group Intersection Problem.
电商所评分：9
The ELL(1) Parser Generator and the Error Recovery Mechanism.
电商所评分：10
On Removing the Machine from the Language.
电商所评分：2
The Method of Attributes for Data Flow Analysis: Part I. Exhaustive Analysis.
电商所评分：2
The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis.
电商所评分：3
Optimal alpha-beta Trees with Capacity Constraint.
电商所评分：9
On the Complementation Rule for Multivalued Dependencies in Database Relations.
电商所评分：6
Deleting the Root of a Heap.
电商所评分：10