-
Optimization of the magnetic properties of FePd alloys by severe plastic defo...
International audience -
The Individuality of the Species: A Darwinian Theory? - From Buffon to Ghisel...
International audience -
Study of NaxVO2 layered oxides : electrochemistry, structure and physical pro...
This thesis is about the study of the lamellar oxides NaxVO2. Several phases have been obtained with different stacking of the [VO2] sheets: O3-NaVO2, P’3-Na0.56VO2... -
(HO)RPO Revisited
The notion of computability closure has been introduced for proving the termination of the combination of higher-order rewriting and beta-reduction. It is also used... -
RPO constraint solving is in NP
Rapport interne. -
Light Multiset path ordering and Ptime - Two is better than one
Rapport interne. -
Aide à la preuve et à la validation en programmation par règles
Stage de DEA. Rapport de stage.
