论文列表及评分结果
Structured Theory Presentations and Logic Representations.
电商所评分：5
Computing Definite Logic Programs by Partial Instantiation.
电商所评分：3
Linear Logic as a Logic of Computations.
电商所评分：8
Recursive Unary Algebras and Trees.
电商所评分：1
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.
电商所评分：10
A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations.
电商所评分：9
Fragments of Martin's axiom and Delta13 Sets of Reals.
电商所评分：2
Universal Theories Categorical in Power and kappa-Generated Models.
电商所评分：5
Superstable Quasi-Varieties.
电商所评分：8
Semantics of Weakening and Contraction.
电商所评分：6
Essential Kurepa Trees versus Essential Jech-Kunen Trees.
电商所评分：3
The Model Theory of Unitriangular Groups.
电商所评分：6
Forcing in Nonstandard Analysis.
电商所评分：3
Diophantine Undecidability in Some Rings of Algebraic Numbers of Totally Real Infinite Extensions of Q.
电商所评分：6
Dominating Projective Sets in the Baire Space.
电商所评分：8
The Structure of the Honest Polynomial m-Degrees.
电商所评分：3
Meager Forking.
电商所评分：1
On Borel Ideals.
电商所评分：5
Combining Type Disciplines.
电商所评分：2
Extremes in the Degrees of Inferability.
电商所评分：4
Context-Sensitive Transitive Closure Operators.
电商所评分：5
Inseparability in Recursive Copies.
电商所评分：3
Classical Logic, Storage Operators and Second-Order lambda-Calculus.
电商所评分：8
Expansions of the Real Field with Power Functions.
电商所评分：3
Cardinalities of Topologies with Small Base.
电商所评分：8
The Logic of Arithmetical Hierarchy.
电商所评分：10
Cell Decompositions of C-Minimal Structures.
电商所评分：6
Hyperarithmetical Relations in Expansions of Recursive Structures.
电商所评分：10
A Simpler proof of Jensen's Coding Theorem.
电商所评分：1
Equational Derivation vs. Computation.
电商所评分：5