DBLP Record 'conf/jfplc/Clergerie90'

BibTeX

@inproceedings{DBLP:conf/jfplc/Clergerie90,
  author    = {Eric Villemonte de la Clergerie},
  title     = {DyALog: une implantation des Clauses de Horn en Programmtion
               Dynamique},
  booktitle = {SPLT},
  year      = {1990},
  pages     = {207-228},
  crossref  = {DBLP:conf/jfplc/1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/jfplc/1990,
  editor    = {Serge Bourgault and
               Mehmet Dincbas},
  title     = {SPLT'90, 8$^{\mbox{{\`e}me}}$ S{\'e}minaire Programmation
               en Logique, 16-18 mai 1990, Tr{\'e}gastel, France},
  booktitle = {SPLT},
  year      = {1990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}