×
Compute Distance To:
Author ID: bagnol.marc Recent zbMATH articles by "Bagnol, Marc"
Published as: Bagnol, Marc
Documents Indexed: 10 Publications since 2014
Co-Authors: 9 Co-Authors with 7 Joint Publications
111 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 13 times in 9 Documents Cited by Year
Unary resolution: characterizing Ptime. Zbl 1475.68133
Aubert, Clément; Bagnol, Marc; Seiller, Thomas
5
2016
Logic programming and logarithmic space. Zbl 1453.68033
Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
3
2014
Unification and logarithmic space. Zbl 1416.68076
Aubert, Clément; Bagnol, Marc
2
2014
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031
Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S.
1
2016
Büchi good-for-games automata are efficiently recognizable. Zbl 07561321
Bagnol, Marc; Kuperberg, Denis
1
2018
Büchi good-for-games automata are efficiently recognizable. Zbl 07561321
Bagnol, Marc; Kuperberg, Denis
1
2018
Unary resolution: characterizing Ptime. Zbl 1475.68133
Aubert, Clément; Bagnol, Marc; Seiller, Thomas
5
2016
The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031
Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S.
1
2016
On the dependencies of logical rules. Zbl 1367.03109
Bagnol, Marc; Doumane, Amina; Saurin, Alexis
1
2015
Logic programming and logarithmic space. Zbl 1453.68033
Aubert, Clément; Bagnol, Marc; Pistone, Paolo; Seiller, Thomas
3
2014
Unification and logarithmic space. Zbl 1416.68076
Aubert, Clément; Bagnol, Marc
2
2014

Citations by Year