| Restrictions of Hindman’s Theorem: An Overview
|
2021 |
Carlucci, Lorenzo |
| Mapping Monotonic Restrictions in Inductive Inference
|
2021 |
Doskoč, Vanja |
| On False Heine/Borel Compactness Principles in Proot Mining
|
2021 |
Ferreira, Fernando |
| On 3SUM-hard Problems in the Decision Tree Model
|
2021 |
Ezra, Esther |
| Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes
|
2021 |
Kötzing, Timo |
| On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy
|
2021 |
Koutsoukou-Argyraki, Angeliki |
| On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences
|
2021 |
Kristiansen, Lars |
| Computable Procedures for Fields
|
2021 |
Miller, Russell |
| Minimum Classical Extensions of Constructive Theories
|
2021 |
Moschovakis, Joan Rand |
| Positive Enumerable Functors
|
2021 |
Csima, Barbara F. |
| Splittings and Robustness for the Heine-Borel Theorem
|
2021 |
Sanders, Sam |
| Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori
|
2021 |
Robert, Léo |
| Non-collapse of the Effective Wadge Hierarchy
|
2021 |
Selivanov, Victor |
| KL-Randomness and Effective Dimension Under Strong Reducibility
|
2021 |
Kjos-Hanssen, Bjørn |
| Péter on Church’s Thesis, Constructivity and Computers
|
2021 |
Szabó, Máté |
| Computability of Limit Sets for Two-Dimensional Flows
|
2021 |
Graça, Daniel S. |
| 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 |
Tag hinzufügen