DBLP Record 'conf/lopstr/JahierDR00'

BibTeX

@inproceedings{DBLP:conf/lopstr/JahierDR00,
  author    = {Erwan Jahier and
               Mireille Ducass{\'e} and
               Olivier Ridoux},
  title     = {Specifying Prolog trace models with a continuation semantics},
  booktitle = {LOPSTR},
  year      = {2000},
  ee        = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-jahier.ps.Z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}