×
Compute Distance To:
Author ID: doumane.amina Recent zbMATH articles by "Doumane, Amina"
Published as: Doumane, Amina
Documents Indexed: 9 Publications since 2015
Co-Authors: 9 Co-Authors with 8 Joint Publications
167 Co-Co-Authors

Serials

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 12 times in 9 Documents Cited by Year
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
5
2016
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
2
2016
Constructive completeness for the linear-time \(\mu \)-calculus. Zbl 1457.68162
Doumane, Amina
2
2017
Kleene algebra with hypotheses. Zbl 07158699
Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre
1
2019
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
Kleene algebra with hypotheses. Zbl 07158699
Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre
1
2019
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
Constructive completeness for the linear-time \(\mu \)-calculus. Zbl 1457.68162
Doumane, Amina
2
2017
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
5
2016
Towards completeness via proof search in the linear time \(\mu\)-calculus: the case of Büchi inclusions. Zbl 1401.68193
Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis
2
2016
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015

Citations by Year