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

'