%0 Conference Paper %1 conf/jfplc/Deransart83 %A Deransart, Pierre %B SPLT %D 1983 %E Dincbas, Mehmet %K dblp %T Une sémantique opérationnelle algébrique de programmes PROLOG. %U http://dblp.uni-trier.de/db/conf/jfplc/jfplc1983.html#Deransart83

@inproceedings{conf/jfplc/Deransart83, added-at = {2004-09-06T00:00:00.000+0200}, author = {Deransart, Pierre}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f2b86c75d3b5618bd06eaf98d2cb011e/dblp}, booktitle = {SPLT}, crossref = {conf/jfplc/1983}, editor = {Dincbas, Mehmet}, interhash = {11f25c56ff6b1bb23767c17c66c78400}, intrahash = {f2b86c75d3b5618bd06eaf98d2cb011e}, keywords = {dblp}, timestamp = {2016-02-02T15:56:04.000+0100}, title = {Une sémantique opérationnelle algébrique de programmes PROLOG.}, url = {http://dblp.uni-trier.de/db/conf/jfplc/jfplc1983.html#Deransart83}, year = 1983 }