DBLP Record 'journals/lncs/Charlier94'

BibTeX

@inproceedings{DBLP:journals/lncs/Charlier94,
  author    = {Baudouin Le Charlier},
  title     = {Abstract Interpretation and Finite Domain Symbolic Constraints},
  booktitle = {Constraint Programming},
  year      = {1994},
  pages     = {147-170},
  crossref  = {DBLP:journals/lncs/1994-910},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/lncs/1994-910,
  editor    = {Andreas Podelski},
  title     = {Constraint Programming: Basics and Trends, Ch{\^a}tillon
               Spring School, Ch{\^a}tillon-sur-Seine, France, May 16
               - 20, 1994, Selected Papers},
  booktitle = {Constraint Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {910},
  year      = {1995},
  isbn      = {3-540-59155-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}