On decidability of one class of boolean formulas
Matematički vesnik, Tome 26 (1974) no. 1, p. 48
Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
Classification :
03G05
@article{MV_1974_26_1_a6,
author = {\v{Z}. Mijajlovi\'c},
title = {On decidability of one class of boolean formulas},
journal = {Matemati\v{c}ki vesnik},
pages = {48 },
year = {1974},
volume = {26},
number = {1},
url = {http://geodesic.mathdoc.fr/item/MV_1974_26_1_a6/}
}
Ž. Mijajlović. On decidability of one class of boolean formulas. Matematički vesnik, Tome 26 (1974) no. 1, p. 48 . http://geodesic.mathdoc.fr/item/MV_1974_26_1_a6/