Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques

  • Fabrice Barbier

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award2005
Original languageFrench
SupervisorMarc Aiguier (Supervisor) & Pierre-Yves Schobbens (Jury)

Cite this

Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques
Barbier, F. (Author). 2005

Student thesis: Doc typesDoctor of Sciences