DBLP Record 'conf/issac/RoyV96'

BibTeX

@inproceedings{DBLP:conf/issac/RoyV96,
  author    = {Marie-Fran\c{c}oise Roy and
               Nicolai Vorobjov},
  title     = {Computing the Complexification of a Semi-Algebraic Set},
  booktitle = {ISSAC},
  year      = {1996},
  pages     = {26-34},
  ee        = {http://doi.acm.org/10.1145/236869.236891},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}