论文列表及评分结果
Total Correctness of CSP Programs.
电商所评分：8
Nearly Optimal Hierarchies for Network and Formula Size.
电商所评分：8
A Faster Approximation Algorithm for the Steiner Problem in Graphs.
电商所评分：2
Proof of Correctness of Data Representations.
电商所评分：8
A Model for Data Structures and its Applications. (Part II).
电商所评分：3
Symmetric Binary B-Trees: Data Structure and Maintenance Algorithms.
电商所评分：2
Least Upper Bound on the Cost of Optimum Binary Search Trees.
电商所评分：1
Bounds on Algorithms for String Generation.
电商所评分：7
Berechnung und Programm. I.
电商所评分：3
On Non-Determinancy in Simple Computing Devices.
电商所评分：1
Endliche Automaten und Zufallsfolgen.
电商所评分：6
Automatic Analysis of Inflectional Morphems in German Nouns.
电商所评分：7
Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen".
电商所评分：6
Top-Down Syntax Analysis.
电商所评分：10
Application of Regular Canonical Systems to Grammars Translatable from Left to Right.
电商所评分：2
Hierarchical Ordering of Sequential Processes.
电商所评分：7
Schnelle Berechnung von Kettenbruchentwicklungen.
电商所评分：10
Optimal Merging of 2 Elements with n Elements.
电商所评分：9
Congruences et Automorphismes des Automates Finis.
电商所评分：4
Systolic Automata for VLSI on Balanced Trees.
电商所评分：10
Stratified Balanced Search Trees.
电商所评分：1
Concurrent Algorithms for Root Searching.
电商所评分：2
The Complexity of Drawing Trees Nicely.
电商所评分：5
Finite State Relational Programs.
电商所评分：2
On the Complexity of some Problems Concerning the Use of Procedures II.
电商所评分：3
A Network for the Detection of Words in Continuous Speech.
电商所评分：1
Partage de tâches entre processeurs homogenes.
电商所评分：2
A Characterization of Database Graphs Admitting a Simple Locking Protocol.
电商所评分：8
On the Use of History Variables.
电商所评分：2
Reliability Theory of Program Testing.
电商所评分：6