National thesis

Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants

Université Ibn Khaldoun
Defence date: 29-03-2016

Supervisor