BibTeX record conf/dac/MercerKR92

download as .bib file

@inproceedings{DBLP:conf/dac/MercerKR92,
  author       = {M. Ray Mercer and
                  Rohit Kapur and
                  Don E. Ross},
  editor       = {Daniel G. Schweikert},
  title        = {Functional Approaches to Generating Orderings for Efficient Symbolic
                  Representations},
  booktitle    = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
                  USA, June 8-12, 1992},
  pages        = {624--627},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1992},
  url          = {http://portal.acm.org/citation.cfm?id=113938.149646},
  timestamp    = {Thu, 16 Mar 2017 13:48:24 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/MercerKR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics