论文列表及评分结果
Synchronizable Deterministic Pushdown Automata and the Decidability of their Equivalence.
电商所评分：9
Some Beautiful Arguments Using Mathematical Induction.
电商所评分：10
Semantic Properties of Lucid's Compute Clause and its Compilation.
电商所评分：10
Variance Reduction Techniques for the Simulation of Markov Process.
电商所评分：2
An Algorithmic and Complexity Analysis of Interpolation Search.
电商所评分：9
Applications of Efficient Mergeable Heaps for Optimization Problems on Trees.
电商所评分：9
Gobang ist PSPACE-vollständig.
电商所评分：8
Paramodulated Connection Graphs.
电商所评分：10
On Generators and Generative Capacity of EOL Forms.
电商所评分：6
Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation.
电商所评分：10
Optimum Multiway Search Trees.
电商所评分：3
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
电商所评分：2
On the Space Optimizing Effect of Eliminating Single Productions from LR Parsers.
电商所评分：1
On Parsing Two-Level Grammars.
电商所评分：9
Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity.
电商所评分：3
Zur Komplexität von Sortierproblemen.
电商所评分：6
On Procedures as Open Subroutines. II.
电商所评分：2
Axiomatic Approach to Total Correctness of Programs.
电商所评分：3
Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems.
电商所评分：5
On Derivation Languages Corresponding to Context-Free Grammars.
电商所评分：6
Sur une Conjecture de S. Greibach.
电商所评分：4
A Practical Example of the Specification of Abstract Data Types.
电商所评分：4
Remarks on "A Synthesis of Several Sorting Algorithms" by John Darlington.
电商所评分：5
Ordered Attributed Grammars.
电商所评分：4
Context-Free Grammars With Selective Rewriting.
电商所评分：3
Universal Asynchronous Iterative Arrays of Mealy Automata.
电商所评分：2
Automaten in planaren Graphen.
电商所评分：1
Page Size in Demand-Paging Systems.
电商所评分：1
Optimal Disk Merge Patterns.
电商所评分：9
Node Flows in Graphs with Conservative Flow.
电商所评分：1