Papers by Vincent Chaudron
Traitement de l' obésité morbide par anneau gastrique ajustable sous laparoscopie (bénéfices et risques)
STRASBOURG-Medecine (674822101) / SudocSTRASBOURG-Sc. et Techniques (674822102) / SudocSudocFranceF
P ′ , M ′ , then some conclusion". The method of structural operational semantics [96] ensures th... more P ′ , M ′ , then some conclusion". The method of structural operational semantics [96] ensures that every transition is derived by a finite number of inferences using the semantic rules. This allows statements of the aforementioned type, to be proven by induction on the depth of this inference tree. This method is called proof by transition induction. This technique is used the proof of Lemma 2.1.9.
Uploads
Papers by Vincent Chaudron