Concepedia

Amina Doumane

AD

Statistics

Publications

5

Citations

94

H-Index

5

Active since

2016

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut de Recherche en Informatique Fondamentale

École Normale Supérieure de Lyon

Université Paris Cité

Amina Doumane is an author at Centre National de la Recherche Scientifique specializing in mathematics, computer science, and logic.

Publications per year

2016–2022

5

Publications

5

Infinitary Proof Theory: the Multiplicative Additive Case

David Baelde, Amina Doumane, Alexis Saurin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 40 citations · Full text

, , +15

Bouncing Threads for Circular and Non-Wellfounded Proofs

David Baelde, Amina Doumane, Denis Kuperberg et al. · 2022 · 16 citations

, , +13

On the infinitary proof theory of logics with fixed points

Amina Doumane · HAL (Le Centre pour la Communication Scientifique Directe) · 2017 · 14 citations · Full text

, , +12

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Anupam Das, Amina Doumane, Damien Pous · EPiC series in computing · 2018 · 12 citations · Full text

, , +9

Constructive completeness for the linear-time μ-calculus

Amina Doumane · 2017 · 12 citations

, , +12

1–5 of 5