DBLP Record 'conf/ppdp/Antoy01'

BibTeX

@inproceedings{DBLP:conf/ppdp/Antoy01,
  author    = {Sergio Antoy},
  title     = {Constructor-Based Conditional Narrowing},
  booktitle = {PPDP},
  year      = {2001},
  pages     = {199-206},
  crossref  = {DBLP:conf/ppdp/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ppdp/2001,
  title     = {Proceedings of the 3rd international ACM SIGPLAN conference
               on Principles and practice of declarative programming, September
               5-7, 2001, Florence, Italy},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2001},
  isbn      = {1-58113-388-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}