论文列表及评分结果
Finding a Maximum Matching in a Permutation Graph.
电商所评分：1
A Typed Logic of Partial Functions Reconstructed Classically.
电商所评分：2
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic.
电商所评分：4
On Problems with Short Certificates.
电商所评分：6
A Fixed Point Approach to Parallel Discrete Event Simulation.
电商所评分：8
The Expressive Power of the Bounded-Iteration Construct.
电商所评分：2
Resource Finding in Store-and-Forward Networks.
电商所评分：6
Priority Systems with many Identical Processes.
电商所评分：3
On Fast Multiplication of Polynomials over Arbitrary Algebras.
电商所评分：7
Postorder Trees and Eulerian Numbers.
电商所评分：4
Comparing Locality and Causality Based Equivalences.
电商所评分：1
Petri Net Algorithms in the Theory of Matrix Grammars.
电商所评分：2
Optimal Search Trees Using Two-Way Key Comparisons.
电商所评分：5
Tree Automata for Code Selection.
电商所评分：9
On the Power of L-Systems in Image Generation.
电商所评分：8
The Path Length of Random Skip Lists.
电商所评分：2
An Algebra for Process Creation.
电商所评分：6
A Robust and Efficient Spatial Data Structure.
电商所评分：3
Single Machine Flow-Time Scheduling with Scheduled Maintenance.
电商所评分：6
An All-Round Sweep Algorithm for 2-Dimensional Nearest-Neighbor Problems.
电商所评分：10
Concurrent Testing of Processes.
电商所评分：3
Contextual Nets.
电商所评分：4
IEH Graphs. A Novel Generalization of Hypercube Graphs.
电商所评分：1
A. Nico Habermann 1932-1993.
电商所评分：1
Object Inheritance Beyond Subtyping.
电商所评分：3
Dependency Preservation in Semantic Databases.
电商所评分：1
Proving Finiteness of CCS Processes by Non-Standard Semantics.
电商所评分：6
The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.
电商所评分：6
On Efficient Entreeings.
电商所评分：2
The Relaxed min-max Heap.
电商所评分：2