%0 Journal Article
%A Guitart, R.
%A Lair, C.
%T Calcul syntaxique des modèles et calcul des formules internes
%J Diagrammes
%D 1980
%P GL1-GL106
%V 4
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1980__4__1_0/
%G fr
%F DIA_1980__4__1_0