论文列表及评分结果
Rational Bijection of Rational Sets.
电商所评分：4
Using the Blankinship Algorithm to Find the General Solution of a Linear Diophantine Equation.
电商所评分：6
On the Number of Active-Operations Needed to Compute the Discrete Fourier Transform.
电商所评分：7
Necessary and Sufficient Conditions for the Universality of Programming Formalisms.
电商所评分：8
Complete Problems for Space Bounded Subclasses of NP.
电商所评分：10
Global Storage Cells for Attributes in an Attribute Grammar.
电商所评分：4
Complexity of the Word Problem for Commutative Semigroups of Fixed Dimension.
电商所评分：10
Replaceability and Computational Equivalence for Monotone Boolean Functions.
电商所评分：9
On the Worst Case Performance of Buddy Systems.
电商所评分：3
Program Analysis and Optimization through Kernel-Control Decomposition.
电商所评分：7
Design and Correctness of a Compiler for a Non-Procedural Language.
电商所评分：5
Orthogonality of Information Structures.
电商所评分：3
Bin Packing: Maximizing the Number of Pieces Packed.
电商所评分：2
Data Encodings and Their Costs.
电商所评分：8
Quad Trees: A Data Structure for Retrieval on Composite Keys.
电商所评分：6
A Model of a Time Sharing Virtual Memory System Solved Using Equivalence and Decomposition Methods.
电商所评分：4
The Stability Problem of Broadcast Packet Switching Computer Networks.
电商所评分：2
Sequentielle Analyse kontextfreier Sprachen.
电商所评分：7
Multipass Precedence Analysis.
电商所评分：7
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems.
电商所评分：4
Backtracking with Multi-Level Dynamic Search Rearrangement.
电商所评分：9
Parsing Extended LR(k) Grammars.
电商所评分：3
The Characterization of Parallel Ultralinear Grammars by Rational Power Series.
电商所评分：9
A Fast Algorithm for Steiner Trees.
电商所评分：3
An Improved Complexity Hierarchy on the Depth of Boolean Functions.
电商所评分：9
Indépendance Forte de Certaines Opérations.
电商所评分：5
Hex ist PSPACE-vollständig.
电商所评分：6
The Choice Coordination Problem.
电商所评分：4
Arbitration Without Common Modifiable Variables.
电商所评分：5
Inner Loops in Flowgraphs and Code Optimization.
电商所评分：9