BibTeX record: conf/issac/RosalesGG00

download as .bib file

@inproceedings{DBLP:conf/issac/RosalesGG00,
  author    = {Jos{\'{e}} Carlos Rosales and
               Pedro A. Garc{\'{\i}}a{-}S{\'{a}}nchez and
               Juan Ignacio Garc{\'{\i}}a{-}Garc{\'{\i}}a},
  title     = {How to check if a finitely generated commutative monoid is a principal
               ideal commutative monoid},
  booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
               2000},
  year      = {2000},
  pages     = {288--291},
  crossref  = {DBLP:conf/issac/2000},
  url       = {http://doi.acm.org/10.1145/345542.345655},
  doi       = {10.1145/345542.345655},
  timestamp = {Sat, 25 Oct 2014 20:23:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/RosalesGG00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issac/2000,
  editor    = {Carlo Traverso},
  title     = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
               2000},
  year      = {2000},
  publisher = {{ACM}},
  url       = {http://dl.acm.org/citation.cfm?id=345542},
  isbn      = {1-58113-218-2},
  timestamp = {Sat, 25 Oct 2014 20:23:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/issac/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}