论文列表及评分结果
Candidate Keys for Relations.
电商所评分：1
Stack Languages and log n Space.
电商所评分：4
The Firing Squad Synchronization Problem for a Class of Polyautomata Networks.
电商所评分：8
Pumping Lemmas for Term Languages.
电商所评分：6
On the Structure of Derivations in Deterministic ET0L Systems.
电商所评分：4
A Theory of Type Polymorphism in Programming.
电商所评分：3
A Definition of Measures over Language Space.
电商所评分：1
On Some Classes of Interpretations.
电商所评分：5
Closure Properties and Languages Defined by Bilinear Automata.
电商所评分：3
Omega-Computations on Deterministic Pushdown Machines.
电商所评分：1
A Trivial Algorithm Whose Analysis Isn't.
电商所评分：6
A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic.
电商所评分：4
Algorithms for Updating Minimal Spanning Trees.
电商所评分：1
ETOL Forms.
电商所评分：5
On the Algebraic Atructure of Rooted Trees.
电商所评分：9
Inductive Definability in Formal Language Theory.
电商所评分：1
A Lower Bound of the ½n² on Linear Search Programs for the Knapsack Problem.
电商所评分：6
On Polynomial Time Isomorphisms of Some New Complete Sets.
电商所评分：7
On Inverse Deterministic Pushdown Transductions.
电商所评分：6
A Note on Pattern Reproduction in Tessellation Structures.
电商所评分：8
Nondeterminism and Boolean Operations in PDAs.
电商所评分：3
Addressable Approximations to Nonaddressable Data Graphs.
电商所评分：8
The Enforcement of Security Policies for Computation.
电商所评分：3
On Splitting Recursive Sets.
电商所评分：8
A Representation of Strongly Connected Automata and its Applications.
电商所评分：2
Finite Automata, Definable Sets, and Regular Expressions over omega^n-Tapes.
电商所评分：4
Endomorphisms of Linear Automata.
电商所评分：5
The Circuit Depth of Symmetric Boolean Functions.
电商所评分：4
Duality Theory for Discrete-Time Linear Systems.
电商所评分：3
Evaluation of Polynomials with Super-Preconditioning.
电商所评分：1