I agree that this site is using cookies. You can find further informations here.
X
Cohen, Damien
3  results:
Bookchapter (Online) X
Search for persons X
?
1

Competing Inheritance Paths in Dependent Type Theory: A Cas..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Affeldt, Reynald ; Cohen, Cyril ; Kerjean, Marie... - p. 3-20 , 2020
Link: https://doi.org/10.1007/..
 
?
2

List of contributors:

, In: Toxoplasma gondii,
Behnke, Michael S. ; Besteiro, Sébastien ; Billker, Oliver... - p. xiii-xv , 2020
Link: https://doi.org/10.1016/..
 
?
3

Contributors:

, In: Fetal and Neonatal Physiology,
Abbasi, Soraya ; Adamson, S. Lee ; Ades, Anne M.... - p. vii-xxi , 2011
Link: https://doi.org/10.1016/..
 
1-3