论文列表及评分结果
Sequent Reconstruction in LLM - A Sweepline Proof.
电商所评分：9
Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues.
电商所评分：9
On Completeness and Cocompleteness in an Around Small Categories.
电商所评分：7
Combinatorial Principle in the Core Model for one Woodin Cardinal.
电商所评分：9
Totality in Applicative Theories.
电商所评分：1
A Data Type Variety of Stack Algebras.
电商所评分：1
Instances of Dependent Choice and the Measurability of alephomega + 1.
电商所评分：9
Strong Normalization in Type Systems: A Model Theoretic Approach.
电商所评分：2
The Consistency Strength of Projective Absoluteness.
电商所评分：5
Possible Degrees in Recursive Copies.
电商所评分：6
Back and Forth Relations for Reduced Abelian p-Groups.
电商所评分：4
Realizing Brouwer's Sequences.
电商所评分：2
Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees.
电商所评分：6
Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.
电商所评分：7
On Recursively Enumerable Structures.
电商所评分：4
A Method to Single out Maximal Propositional Logics with the Disjunction Property II.
电商所评分：9
A Method to Single out Maximal Propositional Logics with the Disjunction Property I.
电商所评分：4
Generalizing Theorems in Real Closed Fields.
电商所评分：1
Delta0-Complexity of the Relation y = \prodi <= n F(i).
电商所评分：5
Proof-Theoretic Analysis of Termination Proofs.
电商所评分：10
Relating the Bounded Arithmetic and Polynomial Time Hierarchies.
电商所评分：3
Understanding Uniformity in Feferman's Explicit Mathematics.
电商所评分：6
What are the forall Sigmab1-Consequences of T12 and T22?
电商所评分：2
Petri Nets, Horn Programs, Linear Logic and Vector Games.
电商所评分：2
On NP-Completeness in Linear Logic.
电商所评分：10
Towards the Computational Complexity of PRomega-Terms.
电商所评分：6
Models for the Lambek Calculus.
电商所评分：10
Linear Logic with Fixed Resources.
电商所评分：1
Logic of Proofs.
电商所评分：3
On Speedable and Levelable Vector Spaces.
电商所评分：1