Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / Computer Science University of Aarhus Denmark Proof Mining / /
IndustryTerm
scientific carrier / /
Organization
Faculty of Science / Dissertation Department / Danish National Research Foundation / University of Aarhus / BRICS Department / Computer Science University / Computer Science University of Aarhus Ny Munkegade / /
Person
Ulrich Berger / Karen Møller / Emanuela / Dag Normann / Mario Caccamo / Hanne Jensen / Lene Kjeldsteen / Paulo B. Oliva / Janne Christensen / Uffe Engberg / Ulrich Kohlenbach / Olivier Danvy / Cheney / Thierry Coquand / Ingrid Larsen / Katia Guimar˜aes / Mogens Nielsen / / /
BRICS Basic Research in Computer Science BRICS DSP. B. Oliva: Proof Mining in Subsystems of Analysis Proof Mining in Subsystems of Analysis