Cécilia Pradic

From MaRDI portal
Person:6317468

Available identifiers

zbMath Open pradic.ceciliaMaRDI QIDQ6317468

List of research outcomes





PublicationDate of PublicationType
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory2024-09-04Paper
On the Weihrauch degree of the additive Ramsey theorem2023-01-07Paper
Cantor-Bernstein implies Excluded Middle2019-04-19Paper
The equational theory of the Weihrauch lattice with multiplicationN/APaper

Research outcomes over time

This page was built for person: Cécilia Pradic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6317468&oldid=37781347"
Powered by MediaWiki