| Learning Languages with Decidable Hypotheses
|
2021 |
Berger, Julian |
| The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
|
2021 |
Carl, Merlin |
| A Tale of Optimizing the Space Taken by de Bruijn Graphs
|
2021 |
Chikhi, Rayan |
| Normal Forms for Semantically Witness-Based Learners in Inductive Inference
|
2021 |
Doskoč, Vanja |
| Limitwise Monotonic Spectra and Their Generalizations
|
2021 |
Faizrahmanov, Marat |
| Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBlunted
|
2021 |
Eizenga, Jordan M. |
| A Church-Turing Thesis for Randomness?
|
2021 |
Franklin, Johanna N. Y. |
| Probabilistic Models of k-mer Frequencies (Extended Abstract)
|
2021 |
Gafurov, Askar |
| On the Impact of Treewidth in the Computational Complexity of Freezing Dynamics
|
2021 |
Goles, Eric |
| Dedekind Cuts and Long Strings of Zeros in Base Expansions
|
2021 |
Georgiev, Ivan |
| In Search of the First-Order Part of Ramsey’s Theorem for Pairs
|
2021 |
Kołodziejczyk, Leszek Aleksander |
| Einstein Meets Turing: The Computability of Nonlocal Games
|
2021 |
Yuen, Henry |
| On Measure Quantifiers in First-Order Arithmetic
|
2021 |
Antonelli, Melissa |
| Searching for Applicable Versions of Computable Structures
|
2021 |
Alaev, P. E. |
| On the Degrees of Constructively Immune Sets
|
2021 |
Birns, Samuel D. |
| Fine-Grained Complexity Theory: Conditional Lower Bounds for Computational Geometry
|
2021 |
Bringmann, Karl |
| Complexity and Categoricity of Injection Structures Induced by Finite State Transducers
|
2021 |
Krogman, Richard |
| Placing Green Bridges Optimally, with a Multivariate Analysis
|
2021 |
Fluschnik, Till |
| Defining Formal Explanation in Classical Logic by Substructural Derivability
|
2021 |
Genco, Francesco A. |
| Towards a Map for Incremental Learning in the Limit from Positive and Negative Information
|
2021 |
Khazraei, Ardalan |
Tag hinzufügen