✦ LIBER ✦

The γ-complexity of systems of multivalued-logic functions

✍ Scribed by A. E. Bobrova; N. F. Kostyanko; B. N. Ugarov

Publisher: Springer US
Year: 1974
Tongue: English
Weight: 160 KB
Volume: 10
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01069822

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of dynamic tests for func

The complexity of dynamic tests for functions of k-valued logic

✍ V. A. Vardanyan 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 753 KB

Parallel algorithms for evaluation of di

Parallel algorithms for evaluation of directional Boolean derivatives of multivalued logic functions

✍ V. G. Levashenko; V. P. Shmerko; S. N. Yanushkevich 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 815 KB

Search for the maximum upper zero of a t

Search for the maximum upper zero of a threshold function of multivalued logic

✍ M.M. Kovalev; A.V. Moshchenskii 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 218 KB

Certain classes of functionally complete

Certain classes of functionally complete operations and canonical forms of representation of functions of multivalued logic

✍ N. N. Aizenberg; Z. I. Rabinovich 📂 Article 📅 1965 🏛 Springer US 🌐 English ⚖ 667 KB

The complexity of revising logic program

The complexity of revising logic programs

✍ Russell Greiner 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 237 KB

A rule-based program will return a set of answers to each query. An impure program, which includes the Prolog ut ``!'' and ``not@ÁA'' operators, can return dierent answers if its rules are re-ordered. There are also many reasoning systems that return only the ®rst answer found for each query; these

Number of three-valued logic functions t

Number of three-valued logic functions to correct sets of incorrect algorithms and the complexity of interpretation of the functions

✍ A. V. Kabulov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 588 KB