%0 Conference Paper %1 conf/jfplc/Charlier92 %A Charlier, Baudouin Le %B JFPL %D 1992 %E Delahaye, Jean-Paul %E Devienne, Philippe %E Mathieu, Philippe %E Yim, Pascal %K dblp %P 386- %T Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite. %U http://dblp.uni-trier.de/db/conf/jfplc/jfpl1992.html#Charlier92

@inproceedings{conf/jfplc/Charlier92, added-at = {2004-06-25T00:00:00.000+0200}, author = {Charlier, Baudouin Le}, biburl = {https://www.bibsonomy.org/bibtex/24ec1951d20b348463ca61d36937e704f/dblp}, booktitle = {JFPL}, crossref = {conf/jfplc/1992}, date = {2004-06-25}, description = {dblp}, editor = {Delahaye, Jean-Paul and Devienne, Philippe and Mathieu, Philippe and Yim, Pascal}, interhash = {0516a4bdc7b29994406fe8789de4ac1b}, intrahash = {4ec1951d20b348463ca61d36937e704f}, keywords = {dblp}, pages = {386-}, timestamp = {2004-06-25T00:00:00.000+0200}, title = {Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite.}, url = {http://dblp.uni-trier.de/db/conf/jfplc/jfpl1992.html#Charlier92}, year = 1992 }