Diskretnaya Matematika, Tome 1 (1989) no. 3, pp. 104-110
Citer cet article
V. V. Knyazev; V. A. Talanov. On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max. Diskretnaya Matematika, Tome 1 (1989) no. 3, pp. 104-110. http://geodesic.mathdoc.fr/item/DM_1989_1_3_a10/
@article{DM_1989_1_3_a10,
author = {V. V. Knyazev and V. A. Talanov},
title = {On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max},
journal = {Diskretnaya Matematika},
pages = {104--110},
year = {1989},
volume = {1},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_1989_1_3_a10/}
}
TY - JOUR
AU - V. V. Knyazev
AU - V. A. Talanov
TI - On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max
JO - Diskretnaya Matematika
PY - 1989
SP - 104
EP - 110
VL - 1
IS - 3
UR - http://geodesic.mathdoc.fr/item/DM_1989_1_3_a10/
LA - ru
ID - DM_1989_1_3_a10
ER -
%0 Journal Article
%A V. V. Knyazev
%A V. A. Talanov
%T On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max
%J Diskretnaya Matematika
%D 1989
%P 104-110
%V 1
%N 3
%U http://geodesic.mathdoc.fr/item/DM_1989_1_3_a10/
%G ru
%F DM_1989_1_3_a10