论文列表及评分结果
Priority Constructions.
电商所评分：10
Sigma5-Completeness of Index Sets Arising from the Recursively Enumerable Turing Degrees.
电商所评分：5
Sigma5-Completeness of Index Sets Arising from the Lattice of Recursively Enumerable Sets.
电商所评分：4
Determinacy in the Difference Hierarchy of Co-Analytic Sets.
电商所评分：3
Another Stable Group.
电商所评分：2
Morasses, Square and Forcing Axioms.
电商所评分：2
Reducts of Random Hypergraphs.
电商所评分：4
Data Storage Interpretation of Labeled Modal Logic.
电商所评分：3
Toward Classifying Unstable Theories.
电商所评分：3
Effective Inseparability in a Topological Setting.
电商所评分：5
Sparse Parameterized Problems.
电商所评分：5
A Non-Splitting Theorem for d.r.e. Sets.
电商所评分：9
In the Random Graph G(n, p), p = n-a: If psi Has Probability O(n-epsilon) for Every epsilon>0 Then it Has Probability O(e-nepsilon) for Some epsilon>0.
电商所评分：8
Arity Hierarchies.
电商所评分：6
A Model and Its Subset: The Uncountable Case.
电商所评分：4
The Monadic Second-Order Logic of Graphs VIII: Orientations.
电商所评分：1
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels.
电商所评分：2
Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic.
电商所评分：8
A Note on Full Intuitionistic Linear Logic.
电商所评分：2
Interpolating d-r.e. and REA Degrees between r.e. Degrees.
电商所评分：8
Sigma2 Induction and Infinite Injury Priority Arguments, Part II: Tame Sigma2 Coding and the Jump Operator.
电商所评分：2
An Exponential Separation Between the Parity Principle and the Pigeonhole Principle.
电商所评分：5
There is No Fat Orbit.
电商所评分：7
Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams.
电商所评分：3
An Evaluation of Commercial Expert System Building Tools.
电商所评分：1
An Extension of the General Entity Manipulator Language for Global View Definition.
电商所评分：8
A Multi-Threshold, Internal Rule Representation Form Used to Support User Modifiable Knowledge-Based Systems.
电商所评分：6
A Logic-Based Knowledge Source System for Natural Language Document.
电商所评分：3
A Representation Construct for Roles.
电商所评分：8
An Analysis of Multivalued and Join Dependencies Based on the Entity-Relationship Approach.
电商所评分：1