| Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
|
2020 |
Fujiwara, Makoto |
| On Interpretability Between Some Weak Essentially Undecidable Theories
|
2020 |
Kristiansen, Lars |
| Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power
|
2020 |
Kutrib, Martin |
| Ackermannian Goodstein Sequences of Intermediate Growth
|
2020 |
Fernández-Duque, David |
| ASNP: A Tame Fragment of Existential Second-Order Logic
|
2020 |
Bodirsky, Manuel |
| Theoretical and Implementational Aspects of the Formal Language Server (LaSer)
|
2020 |
Konstantinidis, Stavros |
| Two-Dimensional Codes
|
2020 |
Madonia, Maria |
| Quantitative Coding and Complexity Theory of Compact Metric Spaces
|
2020 |
Lim, Donghyun |
| Combinatorial Properties of Degree Sequences of 3-Uniform Hypergraphs Arising from Saind Arrays
|
2020 |
Petrakis, losif |
| Functions of Baire Class One over a Bishop Topology
|
2020 |
Petrakis, losif |
| Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs
|
2020 |
Banderier, Cyril |
| Repetitions in Toeplitz Words and the Thue Threshold
|
2020 |
Boccuto, Antonio |
| Balancing Straight-Line Programs for Strings and Trees
|
2020 |
Lohrey, Markus |
| A Note on Computable Embeddings for Ordinals and Their Reverses
|
2020 |
Bazhenov, Nikolay |
| Clockability for Ordinal Turing Machines
|
2020 |
Carl, Merlin |
| Some Notes on Spaces of Ideals and Computable Topology
|
2020 |
Brecht, Matthew de |
| Liouville Numbers and the Computational Complexity of Changing Bases
|
2020 |
Jakobsen, Sune Kristian |
| Computable Analysis and Classification Problems
|
2020 |
Downey, Rodney G. |
| Non-coding Enumeration Operators
|
2020 |
Miller, Russell |
| On the Complexity of Validity Degrees in Lukasiewicz Logic
|
2020 |
Haniková, Zuzana |
Tag hinzufügen