论文列表及评分结果

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

点击查看评分详情!