论文列表及评分结果
Specification-Oriented Semantics for Communicating Processes.
电商所评分：10
Acceptable Functional Programming Systems.
电商所评分：10
On Deciding Whether a Monoid is a Free Monoid or is a Group.
电商所评分：10
On the Average Internal Path Length of m -ary Search Trees.
电商所评分：10
An Axiomatic Proof Technique for Parallel Programs I.
电商所评分：9
On the Implementation of Strassen's Fast Multiplication Algorithm.
电商所评分：6
On a Gauntlet Thrown by David Gries.
电商所评分：9
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.
电商所评分：10
A Model of a Virtual Memory System.
电商所评分：1
Resolution of Ambiguity in Parsing.
电商所评分：4
On Grammar Forms with Terminal Context.
电商所评分：6
Optimal Codes, n-Arcs and Laguerre Geometry.
电商所评分：7
On Proving that Certain Languages are not ETOL.
电商所评分：6
Probabilistic Models of Computer Systems.
电商所评分：1
On a Class of Recursive Procedures and Equivalent Iterative Ones.
电商所评分：5
Analyse et optimisation d'une procédure de reprise dans un système de gestion de données centralisées.
电商所评分：10
A Method for Transforming Grammars into LL(k) Form.
电商所评分：6
Some Remarks on Boolean Sums.
电商所评分：10
Sequential Method in Propositional Dynamic Logic.
电商所评分：2
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
电商所评分：8
Affine Relationships Among Variables of a Program.
电商所评分：2
Another Polynomial Homomorphism.
电商所评分：8
Edge-Disjoint Spanning Trees and Depth-First Search.
电商所评分：3
The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue.
电商所评分：10
Termination Conventions and Comparative Semantics.
电商所评分：9
Fifo Nets Without Order Deadlock.
电商所评分：5
The Nearest Common Ancestor in a Dynamic Tree.
电商所评分：9
Database Survivability Under Dynamic Constraints.
电商所评分：9
Integrating Code Generation and Peephole Optimization.
电商所评分：5
Klaus Samelson.
电商所评分：1