×

zbMATH — the first resource for mathematics

Edit Profile

Doumane, Amina

Compute Distance To:
Author ID: doumane.amina Recent zbMATH articles by "Doumane, Amina"
Published as: Doumane, Amina
Documents Indexed: 8 Publications since 2015
all top 5

Co-Authors

1 single-authored
4 Saurin, Alexis
3 Baelde, David
2 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)
4 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

4 Publications have been cited 6 times in 5 Documents Cited by ▼ Year ▼
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
3
2016
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
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
1
2016
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
Infinitary proof theory: the multiplicative additive case. Zbl 1370.03077
Baelde, David; Doumane, Amina; Saurin, Alexis
3
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
1
2016
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
all top 5

Cited by 8 Authors

1 Abrusci, Vito Michele
1 Das, Anupam
1 DeYoung, Henry
1 Kozen, Dexter C.
1 Maieli, Roberto
1 Pfenning, Frank
1 Silva, Alexandra
1 Simpson, Alex K.

Cited in 3 Serials

1 Theoretical Computer Science
1 MSCS. Mathematical Structures in Computer Science
1 Logical Methods in Computer Science

Cited in 2 Fields

4 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)

Citations by Year