%0 Book Section %1 Deransart78 %A Deransart, Pierre %B Coll. AFCET ``Théorie et Techniques de l'Informatique'', Vol. 1 %C Gif-sur-Yvette %D 1978 %K valid %P 412--422 %T Preuve et génération d'attributs sémantiques

@incollection{Deransart78, added-at = {2009-05-10T18:36:57.000+0200}, address = {Gif-sur-Yvette}, author = {Deransart, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/23ea51d6b919322087fb603f22fec3de4/dparigot}, booktitle = {Coll. AFCET ``Th{\'e}orie et Techniques de l'Informatique'', Vol. 1}, description = {Attribute Grammar}, interhash = {892383b20f42690c24ed4a264f2b2081}, intrahash = {3ea51d6b919322087fb603f22fec3de4}, keywords = {valid}, month = {November}, note = {See also: rapport de recherche 302, IRIA-Laboria, Rocquencourt (May 1978).}, pages = {412--422}, timestamp = {2009-05-10T18:37:00.000+0200}, title = {Preuve et g{\'e}n{\'e}ration d'attributs s{\'e}mantiques}, year = 1978 }