论文列表及评分结果
A Family of NP-Complete Data Aggregation Problems.
电商所评分：5
Erratum: Maximum Entropy Two-Station Cyclic Queues with Multiple General Servers.
电商所评分：2
Time-Space Trade-Offs in a Pebble Game.
电商所评分：3
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes.
电商所评分：1
Äquivalente Transformationen für Flußdiagramme.
电商所评分：4
The Design of a Portable Programming Language.
电商所评分：9
A Note on Classes of Complements and the LBA Problem.
电商所评分：9
A Class of Linearly Parsable Graph Grammars.
电商所评分：10
Linear Regular Sets.
电商所评分：1
An On-Line Algorithm for Variable-Sized Bin Packing.
电商所评分：4
The Expected Additive Weight of Trees.
电商所评分：8
Supercube: An Optimally Fault Tolerant Network Architecture.
电商所评分：8
Iterated GSMs and Co-CFL.
电商所评分：6
Continuous Reductions Among Combinatorial Optimization Problems.
电商所评分：5
Erratum: Maximum Entropy Two-Station Cyclic Queues with Multiple General Servers.
电商所评分：8
An Approach to Automating the Verification of Compact Parallel Coordination Programs I.
电商所评分：1
Characterization of all Optimal Networks for a Simultaneous Computation of AND and NOR.
电商所评分：3
On Binary Tree Encodements.
电商所评分：2
A Characterization of Systolic Binary Tree Automata and Applications.
电商所评分：9
Bicentres de langages algébriques.
电商所评分：1
Language Design Methods Based on Semantic Principles.
电商所评分：6
On an Equivalence between Continuation and Stack Semantics.
电商所评分：5
Backtracking in Recursive Computations.
电商所评分：7
Rules of Inference for Procedure Calls.
电商所评分：2
Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking.
电商所评分：6
Iterative Arrays with Direct Central Control.
电商所评分：4
Van Wijngaarden Grammars and Space Complexity Classs EXSPACE.
电商所评分：10
Axiomatic Data Type Specifications: A First Order Theory of Linear Lists.
电商所评分：9
Flow Languages Equal Recursively Enumerable Languages.
电商所评分：4
Recursive Assertions and Parallel Programs.
电商所评分：4