Renaud, Fabien
678  Ergebnisse:
Personensuche X
?
2

A Semantic Framework for Proof Evidence:

Chihani, Zakaria ; Miller, Dale ; Renaud, Fabien
Journal of Automated Reasoning.  59 (2016)  3 - p. 287-330 , 2016
 
?
3

A prismoid framework for languages with resources:

Kesner, Delia ; Renaud, Fabien
Theoretical Computer Science.  412 (2011)  37 - p. 4867-4892 , 2011
 
?
4

Tridentate binding units as structural patterns for the des..:

Piguet, Claude ; Edder, Carine ; Nozary, Homayoun...
Journal of Alloys and Compounds.  303-304 (2000)  - p. 94-103 , 2000
 
?
5

Nine-Coordinate Lanthanide Podates with Predetermined Struc..:

Renaud, Fabien ; Piguet, Claude ; Bernardinelli, Gérald..
Journal of the American Chemical Society.  121 (1999)  40 - p. 9326-9342 , 1999
 
?
 
?
 
?
12

A Semantic Framework for Proof Evidence:

Chihani, Zakaria ; Miller, Dale ; Renaud, Fabien
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-016-9380-6.  , 2017
 
?
13

A Semantic Framework for Proof Evidence:

Chihani, Zakaria ; Miller, Dale ; Renaud, Fabien
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-016-9380-6.  , 2017
 
?
14

A Semantic Framework for Proof Evidence:

Chihani, Zakaria ; Miller, Dale ; Renaud, Fabien
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-016-9380-6.  , 2017
 
1-15