论文列表及评分结果
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic.
电商所评分：7
A Discrete-Time Round-Robin Queue with Bernoulli Input and General Arithmetic Service Time Distributions.
电商所评分：3
LR (0) Grammars Generated by LR (0) Parsers.
电商所评分：4
A Proof Technique for Communicating Sequential Processes.
电商所评分：1
The Equivalence of Horn and Network Complexity for Boolean Functions.
电商所评分：1
Persistence of Vector Replacement Systems is Decidable.
电商所评分：2
Pathlistings Applied to Data Flow Analysis.
电商所评分：8
The Formal Power of One-Visit Attribute Grammars.
电商所评分：2
Varepsilon-Productions in Context-Free Grammars.
电商所评分：6
The Formal Definition of a Real-Time Language.
电商所评分：3
A Gap Between the Actual Complexity of Permutations and Their Entropy Defined by Stoß.
电商所评分：5
Best Huffman Trees.
电商所评分：6
A Note on Multi-queue Scheduling of Two Tasks.
电商所评分：4
Performances of an Algorithm Constructing a Nearly Optimal Binary Tree.
电商所评分：4
Two-Symbol DOS Systems Generating Regular Languages.
电商所评分：5
On the Relationship of Minimum and Optimum Covers for a Set of Functional Dependencies.
电商所评分：3
On the Semantics of Polymorphism.
电商所评分：1
NP-complete Problems Simplified on Tree Schemas.
电商所评分：6
Hiérarchie et fermeture de certaines classes de tag-systèmes.
电商所评分：5
A Three-Stage Construction for Multiconnection Networks.
电商所评分：8
The Analysis of Quicksort Programs.
电商所评分：6
Axiomatic Approach to Side Effects and General Jumps.
电商所评分：3
Effect of Data Representation on Cost of Sparse Matrix Operations.
电商所评分：8
Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2.
电商所评分：8
Monoïdes syntactiques des langages algébriques.
电商所评分：9
An Incremental Primal Sieve.
电商所评分：8
An Efficient ELL(1)-Parser Generator.
电商所评分：3
Generation of Efficient LALR Parsers for Regular Right Part Grammars.
电商所评分：2
Algorithms for Routing in Planar Graphs.
电商所评分：8
Files d'attente exponentielles ayant des parametres non-stationnaires dans le temps.
电商所评分：5