Minimalization of Boolean polynomials, truth functions, and lattices.
Locks, Mitchell O.
Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, p. 264-270 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1978-04-14
Classification:  94A20 
@article{1093888319,
     author = {Locks, Mitchell O.},
     title = {Minimalization of Boolean polynomials, truth functions, and lattices.},
     journal = {Notre Dame J. Formal Logic},
     volume = {19},
     number = {1},
     year = {1978},
     pages = { 264-270},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1093888319}
}

Locks, Mitchell O. Minimalization of Boolean polynomials, truth functions, and lattices.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp.  264-270. http://gdmltest.u-ga.fr/item/1093888319/