scientific article; zbMATH DE number 4049617

MaRDI QIDQ3786468zbMATH OpenFDO

Authors Ivan Stojmenović

Publication date 1987

zbMATH Keywords

classificationmany-valued logic functionssemigroupssubset generating algorithmsymmetric functions

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Many-valued logic (03B50) Software, source code, etc. for problems pertaining to combinatorics (05-04) Exact enumeration problems, generating functions (05A15)

Recommendations

• scientific article; zbMATH DE number 857573
• scientific article; zbMATH DE number 3966029
• scientific article; zbMATH DE number 3918272
• scientific article; zbMATH DE number 3900676
• A method of constructing fast algorithms in the k-valued logic

Cited in

(4)

• Proof search and co-NP completeness for many-valued logics
• Many-valued logic and mixed integer programming
• scientific article; zbMATH DE number 857573 (Why is no real title available?)
• Classification of three-valued logical functions preserving 0

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786468)