B. Mannaa
发表
B. Mannaa,
2010
.
L. Birkedal,
Bas Spitters,
B. Mannaa,
2019
.
B. Mannaa,
2014
.
B. Mannaa,
2016
.
A. Pitts,
Bas Spitters,
B. Mannaa,
2018
.
L. Seeberger,
L. Raymond,
R. Barker,
2013,
JAMA neurology.
Bas Spitters,
Andrew M. Pitts,
Bassel Mannaa,
2018,
Mathematical Structures in Computer Science.
Rasmus Ejlers Møgelberg,
Bassel Mannaa,
Rasmus Ejlers Mogelberg,
2020,
Log. Methods Comput. Sci..
Rasmus Ejlers Møgelberg,
Bassel Mannaa,
B. Mannaa,
2018,
FSCD.
Thierry Coquand,
Bassel Mannaa,
T. Coquand,
2016,
Log. Methods Comput. Sci..
Thierry Coquand,
Fabian Ruch,
Bassel Mannaa,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thierry Coquand,
Bassel Mannaa,
T. Coquand,
2013,
J. Log. Anal..
Bassel Mannaa,
B. Mannaa,
2010,
Inf. Process. Lett..