RUS
ENG
Full version
PEOPLE
Emel'yanov N R
Publications in Math-Net.Ru
Complexity of the solution of the problem of
$\alpha$
-expressibility in
$k$
-valued logic
Diskr. Mat.
,
1
:2 (1989),
65–77
One approach to construction of effective algorithms for recognizing completeness in multivalued logics
Mat. Zametki
,
39
:5 (1986),
766–775
Complexity of the problem of expressibility in many-valued logics
Dokl. Akad. Nauk SSSR
,
282
:3 (1985),
525–529
A method of constructing fast algorithms in the
$k$
-valued logic
Mat. Zametki
,
38
:1 (1985),
148–156
©
Steklov Math. Inst. of RAS
, 2024