( en | de | ru )

 

Disambiguierung von "Pradic, Cécilia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals.

, und . CiE, Volume 13359 von Lecture Notes in Computer Science, Seite 259-271. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cecilia Moneta

Cecilia Duncker

Cecilia Smoglie

Cecilia Buer

Cecilia Smoglie

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Weihrauch degree of the additive Ramsey theorem., , und . CoRR, (2023)Synthesizing Nested Relational Queries from Implicit Specifications., , und . PODS, Seite 33-45. ACM, (2023)Comparison-Free Polyregular Functions., , und . ICALP, Volume 198 von LIPIcs, Seite 139:1-139:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Kleene Algebra with Hypotheses., , , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 207-223. Springer, (2019)Integrating Linear and Dependent Types., , und . POPL, Seite 17-30. ACM, (2015)Two-way automata and transducers with planar behaviours are aperiodic., , und . CoRR, (2023)Cantor-Bernstein implies Excluded Middle., und . CoRR, (2019)A Curry-Howard Approach to Church's Synthesis., und . CoRR, (2018)A Curry-Howard Approach to Church's Synthesis., und . Log. Methods Comput. Sci., (2019)From Normal Functors to Logarithmic Space Queries., und . ICALP, Volume 132 von LIPIcs, Seite 123:1-123:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)