V. V. Knyazev, V. A. Talanov, “On the satisfiability fraction for formulas of <nobr>$k$</nobr>-valued logic with quantifiers min and max”, Diskr. Mat., 1989, Volume 1, Issue 3,Pages <nobr>104

JOURNALS // Diskretnaya Matematika // Archive

Diskr. Mat., 1989 Volume 1, Issue 3, Pages 104–110 (Mi dm929)

On the satisfiability fraction for formulas of $k$-valued logic with quantifiers min and max

V. V. Knyazev, V. A. Talanov

UDC: 510.635+519.11

Received: 26.01.1989

Fulltext: PDF file (936 kB)

Bibliographic databases: