DBLP Record 'conf/wflp/MarinIS00'

BibTeX

@inproceedings{DBLP:conf/wflp/MarinIS00,
  author    = {Mircea Marin and
               Tetsuo Ida and
               Taro Suzuki},
  title     = {Higher-order Lazy Narrowing Calculi in Perspective},
  booktitle = {WFLP},
  year      = {2000},
  pages     = {238-252},
  crossref  = {DBLP:conf/wflp/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wflp/2000,
  editor    = {Mar\'{\i}a Alpuente},
  title     = {9th International Workshop on Functional and Logic Programming,
               WFLP'2000, Benicassim, Spain, September 28-30, 2000},
  booktitle = {WFLP},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}