Quantifier elimination in a problem of logical design.
Elgot, Calvin C. ; Wright, Jesse B.
Michigan Math. J., Tome 6 (1959) no. 1, p. 65-69 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1959-05-14
Classification:  93.00,  02.00 
@article{1028998141,
     author = {Elgot, Calvin C. and Wright, Jesse B.},
     title = {Quantifier elimination in a problem of logical design.},
     journal = {Michigan Math. J.},
     volume = {6},
     number = {1},
     year = {1959},
     pages = { 65-69},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1028998141}
}

Elgot, Calvin C.; Wright, Jesse B. Quantifier elimination in a problem of logical design.. Michigan Math. J., Tome 6 (1959) no. 1, pp.  65-69. http://gdmltest.u-ga.fr/item/1028998141/