Finite index algorithms for the simplification of disjunctive normal forms
Doklady Akademii Nauk, Tome 139 (1961) no. 6, pp. 1329-1331
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{DAN_1961_139_6_a14,
author = {Yu. I. Zhuravlev},
title = {Finite index algorithms for the simplification of disjunctive normal forms},
journal = {Doklady Akademii Nauk},
pages = {1329--1331},
year = {1961},
volume = {139},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1961_139_6_a14/}
}
Yu. I. Zhuravlev. Finite index algorithms for the simplification of disjunctive normal forms. Doklady Akademii Nauk, Tome 139 (1961) no. 6, pp. 1329-1331. http://geodesic.mathdoc.fr/item/DAN_1961_139_6_a14/