论文列表及评分结果
Reducing the Number of Multiplikations in Iterative Processes.
电商所评分：9
Critical Comments on the Programming Language Pascal.
电商所评分：2
Normal Forms for Context-Sensitive Grammars.
电商所评分：4
Lineare Realisierbarkeit endlicher Automaten über endlichen Körpern.
电商所评分：1
Some Resource Allocation Policies in a Multi Associative Processor.
电商所评分：4
On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors.
电商所评分：7
A Decomposable Model of Program Paging Behaviour.
电商所评分：1
An Alternative Approach to the Improvement of LR(k) Parsers.
电商所评分：3
Grammars on Partial Graphs.
电商所评分：4
Organization and Maintenance of Large Ordered Indices.
电商所评分：10
A Comparison of Two Synchronizing Concepts.
电商所评分：5
Optimal Scheduling for Two-Processor Systems.
电商所评分：8
Program Proving: Jumps and Functions.
电商所评分：3
Der programmierbare endliche Automat.
电商所评分：9
Direction Controlled Programmed Grammars.
电商所评分：8
Inhibitionsfelder.
电商所评分：4
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata.
电商所评分：2
Nonlinear Pattern Theory.
电商所评分：9
More Comments on the Programming Language Pascal.
电商所评分：7
Semantic Decomposition of Computer Programs: An Aid to Program Testing.
电商所评分：8
Automatic Correction of Syntax-Errors in Programming Languages.
电商所评分：1
Algorithms for Fast Evaluation of Boolean Expressions.
电商所评分：8
Proving Properties of Interacting Processes.
电商所评分：9
The Verification and Synthesis of Data Structures.
电商所评分：9
Automatic Program Verification I: A Logical Basis and its Implementation.
电商所评分：6
Ambiguity and Precedence in Syntax Description.
电商所评分：3
On 3-Head Versus 2-Head Finite Automata.
电商所评分：8
Analysis of a Prioritized CSMA Protocol Based on Staggered Delays.
电商所评分：9
Depth-First K-Trees and Critical Path Analysis.
电商所评分：1
Sur les générateurs algébriques et linéaires.
电商所评分：7