Edit Profile (opens in new tab) Doumane, Amina Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 1 single-authored 4 Saurin, Alexis 3 Baelde, David 3 Pous, Damien 1 Bagnol, Marc 1 Bojańczyk, Mikołaj 1 Das, Anupam 1 Hirschi, Lucca 1 Kuperberg, Denis 1 Pradic, Pierre Serials Fields 7 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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.03077Baelde, 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.68193Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis 2 2016 Constructive completeness for the linear-time \(\mu \)-calculus. Zbl 1457.68162Doumane, Amina 2 2017 Kleene algebra with hypotheses. Zbl 07158699Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre 1 2019 Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124Das, Anupam; Doumane, Amina; Pous, Damien 1 2018 On the dependencies of logical rules. Zbl 1367.03109Bagnol, Marc; Doumane, Amina; Saurin, Alexis 1 2015 Kleene algebra with hypotheses. Zbl 07158699Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre 1 2019 Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124Das, Anupam; Doumane, Amina; Pous, Damien 1 2018 Constructive completeness for the linear-time \(\mu \)-calculus. Zbl 1457.68162Doumane, Amina 2 2017 Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077Baelde, 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.68193Doumane, Amina; Baelde, David; Hirschi, Lucca; Saurin, Alexis 2 2016 On the dependencies of logical rules. Zbl 1367.03109Bagnol, Marc; Doumane, Amina; Saurin, Alexis 1 2015 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 1 Abrusci, Vito Michele 1 Cohen, Liron 1 Das, Anupam 1 Demri, Stéphane P. 1 DeYoung, Henry 1 Kozen, Dexter C. 1 Lozes, Etienne 1 Madhusudan, Parthasarathy 1 Maieli, Roberto 1 Mansutti, Alessio 1 Mathur, Umang 1 Pfenning, Frank 1 Savateev, Yury 1 Shamkanov, Daniyar S. 1 Silva, Alexandra 1 Simpson, Alex K. 1 Viswanathan, Mahesh Cited in 4 Serials 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 The Review of Symbolic Logic Cited in 2 Fields 7 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) Citations by Year