%0 Thesis %1 Renault96 %A Renault, Sophie %D 1996 %K dependency logical schemes vari.LP %T Verification de programmes normaux

@phdthesis{Renault96, added-at = {2009-05-10T18:36:57.000+0200}, author = {Renault, Sophie}, biburl = {https://www.bibsonomy.org/bibtex/230c459b23f3d27e1da7f41eeb4c9325f/dparigot}, description = {Attribute Grammar}, interhash = {b7140c223e289abee7cf63a3f75c5371}, intrahash = {30c459b23f3d27e1da7f41eeb4c9325f}, keywords = {dependency logical schemes vari.LP}, school = {Universit� d'Orl�ans-LIFO}, timestamp = {2009-05-10T18:37:07.000+0200}, title = {Verification de programmes normaux}, year = 1996 }