| 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 |
| Robust Online Algorithms for Dynamic Choosing Problems
|
2021 |
Berndt, Sebastian |
| Randomising Realizability
|
2021 |
Carl, Merlin |
| Formally Computing with the Non-computable
|
2021 |
Cohen, Liron |
| Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations
|
2021 |
Moyen, Jean-Yves |
| An Algorithmic Version of Zariski’s Lemma
|
2021 |
Wiesnet, Franziskus |
| 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. |
Tag hinzufügen