DBLP Record 'conf/wflp/Lux00'

BibTeX

@inproceedings{DBLP:conf/wflp/Lux00,
  author    = {Wolfgang Lux},
  title     = {Adding Linear Constraints over Real Numbers to Curry},
  booktitle = {WFLP},
  year      = {2000},
  pages     = {427-439},
  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}
}