论文列表及评分结果
A New Data Structure for Representing Sorted Lists.
电商所评分:2
Testing Attribute Grammars for Circularity.
电商所评分:4
Formes de langages et de grammaires.
电商所评分:10
Representation of Graphs.
电商所评分:10
Ein Modell des P=NP -Problems mit einer positiven Lösung.
电商所评分:10
Concurrency and Trie Hashing.
电商所评分:9
Null Values in Nested Relational Databases.
电商所评分:3
Time Lower Bounds for Parallel Sorting on a Mesh-Conected Processor Array.
电商所评分:8
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages.
电商所评分:2
Single Machine Flow-Time Scheduling With a Single Breakdown.
电商所评分:4
Hiding in Stream Semantics of Uniform Concurrency.
电商所评分:4
The Complexity of Graph Languages Generated by Hyperedge Replacement.
电商所评分:8
Maintaining Range Trees in Secondary Memory. Part I: Partitions.
电商所评分:8
Maintaining Range Trees in Secondary Memory. Part II: Lower Bounds.
电商所评分:6
Functional Behavior in Data Spaces.
电商所评分:4
Die Zeitkomplexität des Normalisierungsproblems bei kontextsensitiven Grammatiken.
电商所评分:2
A Multiclass Networt Model of a Demand Paging Computer System.
电商所评分:6
Good OL Forms.
电商所评分:4
Static Main Storage Packing Problems.
电商所评分:3
A Unified Approach to the Generation and the Acception of Formal Languages.
电商所评分:1
Correctness of the Compiling Process Based on Axiomatic Semantics.
电商所评分:7
The 'Hoare Logic' of Concurrent Programs.
电商所评分:3
Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie.
电商所评分:10
Concurrent Search and Insertion in 2-3 Trees.
电商所评分:1
Über Separatoren in planaren Graphen.
电商所评分:6
The Clean Termination of Pascal Programs.
电商所评分:6
The Correctness of the Schorr-Waite List Marking Algorithm.
电商所评分:10
The Schorr-Waite Graph Marking Algorithm.
电商所评分:3
Intersections de langages algébriques bornés.
电商所评分:5
Opérations de Cylindre et applications séquentielles gauches inverses.
电商所评分:7