From Quasi-Dominions to Progress Measures
|
2024 |
Benerecetti, Massimo |
Disjoint NP-Pairs and Propositional Proof Systems
|
2024 |
Glaβer, Christian |
Punctual Degrees and Lattice Embeddings
|
2024 |
Kalimullin, Iskander |
Maximal Automatic Complexity and Context-Free Languages
|
2024 |
Kjos-Hanssen, Bjørn |
Roots of Polynomials in Fields of Generalized Power Series
|
2024 |
Knight, Julia |
Cuts in the ML Degrees
|
2024 |
Arthur, Katherine |
Immunity, Diagonalization and the Complexity of Mass Problems
|
2024 |
Beros, Achilles A. |
Computability and Categoricity of Weakly Homogeneous Boolean Algebras and p-Groups
|
2024 |
Cenzer, Douglas |
FPT-Inspired Approximations
|
2024 |
Fernau, Henning |
How to Verify Computations with a Rational Network
|
2024 |
Jain, Sanjay |
A Scalable Verification Solution for Blockchains
|
2024 |
Teutsch, Jason |
Generators of the C.E. Degrees and Strongly Meet Inaccesssible Degrees
|
2024 |
Ambos-Spies, Klaus |
Cantor–Bendixson Ranks for Almost Prime Models
|
2024 |
Bazhenov, Nikolay |
A Turing Machine like Model for Computation on Real Numbers
|
2024 |
Yang, Yue |
Isomorphism Types of Rogers Semilattices in the Analytical Hierarchy
|
2024 |
Bazhenov, Nikolay |
Effective Ultrapowers and Applications
|
2024 |
Dimitrov, Rumen D. |
Weak Muller Conditions Make Delay Games Hard
|
2024 |
Winter, Sarah |