Rudeanu, Sergiu On the number of fixed points of a Boolean transformation. (English) Zbl 1274.94161 An. Univ. Craiova, Ser. Mat. Inf. 39, No. 2, 125-131 (2012). MSC: 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, An. Univ. Craiova, Ser. Mat. Inf. 39, No. 2, 125--131 (2012; Zbl 1274.94161)
Posthoff, Christian; Steinbach, Bernd Logic functions and equations. Binary models for computer science. (English) Zbl 1087.94030 Dordrecht: Springer (ISBN 1-4020-2937-3/hbk; 1-4020-2938-1/ebook). xxix, 392 p. (2004). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 94C10 06E30 94-02 PDFBibTeX XMLCite \textit{C. Posthoff} and \textit{B. Steinbach}, Logic functions and equations. Binary models for computer science. Dordrecht: Springer (2004; Zbl 1087.94030)
Rushdi, Ali M. Using variable-entered Karnaugh maps to solve Boolean equations. (English) Zbl 0988.06010 Int. J. Comput. Math. 78, No. 1, 23-38 (2001). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{A. M. Rushdi}, Int. J. Comput. Math. 78, No. 1, 23--38 (2001; Zbl 0988.06010) Full Text: DOI
Rudeanu, Sergiu Lattice functions and equations. (English) Zbl 0984.06001 Discrete Mathematics and Theoretical Computer Science. London: Springer. xi, 435 p. (2001). Reviewer: N.Ţăndăreanu (Craiova) MSC: 06-02 06E30 06B99 94C10 94C12 03G10 03G05 PDFBibTeX XMLCite \textit{S. Rudeanu}, Lattice functions and equations. London: Springer (2001; Zbl 0984.06001)
Levchenkov, V. S. Boolean equations with many unknowns. (English. Russian original) Zbl 0954.06011 Comput. Math. Model. 11, No. 2, 143-153 (2000); translation from Nelinejn. Din. Upr. 1999, 105-118 (1999). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{V. S. Levchenkov}, Comput. Math. Model. 11, No. 2, 143--153 (1999; Zbl 0954.06011); translation from Nelinejn. Din. Upr. 1999, 105--118 (1999) Full Text: DOI
Brusentsov, N. P.; Vladimirova, Yu. S. Solution of Boolean equations. (English) Zbl 0939.06014 Comput. Math. Model. 9, No. 4, 287-295 (1998). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 03G05 06-02 PDFBibTeX XMLCite \textit{N. P. Brusentsov} and \textit{Yu. S. Vladimirova}, Comput. Math. Model. 9, No. 4, 287--295 (1998; Zbl 0939.06014) Full Text: DOI
Banković, Dragić Equations on multiple-valued logic. (English) Zbl 0899.03017 Mult.-Valued Log. 3, No. 2, 89-95 (1998). MSC: 03B50 PDFBibTeX XMLCite \textit{D. Banković}, Mult.-Valued Log. 3, No. 2, 89--95 (1998; Zbl 0899.03017)
Serfati, Michel A note on Postian matrix theory. (English) Zbl 0878.06007 Int. J. Algebra Comput. 7, No. 2, 161-179 (1997). Reviewer: S.Rudeanu (Bucureşti) MSC: 06D25 06D15 03G20 06D20 PDFBibTeX XMLCite \textit{M. Serfati}, Int. J. Algebra Comput. 7, No. 2, 161--179 (1997; Zbl 0878.06007) Full Text: DOI
Pinus, A. G. Constructions of Boolean algebras. (English) Zbl 0817.06013 Novosibirsk: Novosibirsk State Technical University, 208 p. (1994). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E05 06-01 06-02 PDFBibTeX XMLCite \textit{A. G. Pinus}, Constructions of Boolean algebras. Novosibirsk: Novosibirsk State Technical University (1994; Zbl 0817.06013)
Banković, Dragić All general solutions of finite equations. (English) Zbl 0731.04002 Publ. Inst. Math., Nouv. Sér. 47(61), 5-12 (1990). Reviewer: S.Rudeanu (Bucureşti) MSC: 03E20 06E30 39B05 03B50 PDFBibTeX XMLCite \textit{D. Banković}, Publ. Inst. Math., Nouv. Sér. 47(61), 5--12 (1990; Zbl 0731.04002) Full Text: EuDML
Aleksanyan, A. A. Disjunctive normal forms over linear functions. Theory and applications. (Diz”yunktivnye normal’nye formy nad linejnymi funktsiyami. Teoriya i prilozheniya.) (Russian) Zbl 0782.06011 Erevan: Izdatel’stvo Erevanskogo Universiteta. 201 p. (1990). MSC: 06E30 03G05 94C10 06-01 94-01 68T10 94B05 PDFBibTeX XMLCite \textit{A. A. Aleksanyan}, Diz''yunktivnye normal'nye formy nad linejnymi funktsiyami. Teoriya i prilozheniya (Russian). Erevan: Izdatel'stvo Erevanskogo Universiteta (1990; Zbl 0782.06011)
Aleksanyan, A. A. Realization of Boolean functions by disjunctions of products of linear forms. (English. Russian original) Zbl 0676.06021 Sov. Math., Dokl. 39, No. 1, 131-135 (1989); translation from Dokl. Akad. Nauk SSSR 304, No. 4, 781-784 (1989). Reviewer: S.Rudeanu MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{A. A. Aleksanyan}, Sov. Math., Dokl. 39, No. 1, 131--135 (1989; Zbl 0676.06021); translation from Dokl. Akad. Nauk SSSR 304, No. 4, 781--784 (1989)
Di Nola, Antonio; Lettieri, Ada Relation equations in residuated lattices. (English) Zbl 0671.04004 BUSEFAL 34, 95-106 (1988). Reviewer: S.Rudeanu MSC: 03E99 06E99 94D05 PDFBibTeX XMLCite \textit{A. Di Nola} and \textit{A. Lettieri}, BUSEFAL 34, 95--106 (1988; Zbl 0671.04004)
Chvalina, Jan Characterizations of certain general and reproductive solutions of arbitrary equations. (English) Zbl 0618.08004 Mat. Vesn. 39, No. 1, 5-12 (1987). Reviewer: S.Rudeanu MSC: 08A60 06E30 39B05 20M10 54H99 03E20 PDFBibTeX XMLCite \textit{J. Chvalina}, Mat. Vesn. 39, No. 1, 5--12 (1987; Zbl 0618.08004)
Bankovic, D. Some remarks on Boolean equations. (English) Zbl 0502.06004 Algebraic Conf., Novi Sad/Yugosl. 1981, 47-54 (1982). MSC: 06E20 15B33 PDFBibTeX XML
Caldarola, L. Grundlagen der Booleschen Algebra mit beschränkten Variablen. (German) Zbl 0513.94023 Berichte des Kernforschungszentrums Karlsruhe, Institut für Reaktorentwicklung, Projekt Nukleare Sicherheit, KfK 2915, EUR 6405d. Karlsruhe: Kernforschungszentrum Karlsruhe GmbH. IV, 57 S. (1980). MSC: 94C10 06E99 PDFBibTeX XML
Roth, J. Paul Computer logic, testing, and verification. (English) Zbl 0429.94028 Digital System Design Series. Potomac, Maryland: Computer Science Press, Inc. XX, 176 p. (1980). MSC: 94C10 94-01 94-04 PDFBibTeX XML
Schmid, Jürg Algebraically and existentially closed distributive lattices. (English) Zbl 0425.06007 Z. Math. Logik Grundlagen Math. 25, 525-530 (1979). MSC: 06D05 06B23 03C05 PDFBibTeX XMLCite \textit{J. Schmid}, Z. Math. Logik Grundlagen Math. 25, 525--530 (1979; Zbl 0425.06007) Full Text: DOI