dblp.uni-trier.dewww.uni-trier.de

DBLP Record 'conf/ismvl/RameshM94'

BibTeX

@inproceedings{DBLP:conf/ismvl/RameshM94,
  author    = {Anavai Ramesh and
               Neil V. Murray},
  title     = {Computing Prime Implicants/Implicates for Regular Logics},
  booktitle = {ISMVL},
  year      = {1994},
  pages     = {115-123},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Copyright © 2002-02-14 by Michael Ley (ley@uni-trier.de)