| Programming with Ordinary Differential Equations: Some First Steps Towards a Programming Language
|
2022 |
Bournez, Olivier |
| A Game-Theoretic Approach for the Synthesis of Complex Systems
|
2022 |
Bruyère, Véronique |
| Lower Bounds on ß(α)
|
2022 |
Carl, Merlin |
| Maps of Restrictions for Behaviourally Correct Leaming
|
2022 |
Doskoč, Vanja |
| Defining Long Words Succinctly in FO and MSO
|
2022 |
Hella, Lauri |
| Hilbert’s Tenth Problem for Term Algebras with a Substitution Operator
|
2022 |
Murwanashyaka, Juvenal |
| Reverse Mathematics of the Uncountability of R
|
2022 |
Sanders, Sam |
| Proof Complexity of Monotone Branching Programs
|
2022 |
Das, Anupam |
| Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation Meet
|
2022 |
López, M. Dolores Jiménez |
| On the Compatibility Between the Minimalist Foundation and Constructive Set Theory
|
2022 |
Maschio, Samuele |
| On Envelopes and Backward Approximations.
|
2022 |
Neumann, Eike |
| On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals
|
2022 |
Pradic, Pierre |
| Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory
|
2022 |
Selivanov, Victor |
| Computational Complexity of Classical Solutions of Partial Differential Equations
|
2022 |
Selivanova, Svetlana |
| Barendregt’s Problem #26 and Combinatory Strong Reduction
|
2022 |
Stirton, William |
| Maximal Ideals in Countable Rings, Constructively
|
2022 |
Blechschmidt, Ingo |
| Enumerating Classes of Effective Quasi-Polish Spaces
|
2022 |
Brecht, Matthew de |
| On the Necessity of Some Topological Spaces
|
2022 |
Lubarsky, Robert S. |
| Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading Processes
|
2022 |
Meeks, Kitty |
| Weak Sequential Theories of Finite Full Binary Trees
|
2022 |
Murwanashyaka, Juvenal |
Tag hinzufügen