Weitkämper, Felix Axiomatizing Boolean differentiation. (English) Zbl 1515.03225 Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021). MSC: 03G05 03C65 06E05 06E30 PDFBibTeX XMLCite \textit{F. Weitkämper}, in: Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24--25, 2020. Cham: Springer. 83--104 (2021; Zbl 1515.03225) Full Text: DOI
Marovac, Ulfeta; Banković, Dragić Systems of \(k\) Boolean inequations and a Boolean equation. (English) Zbl 1499.06051 Filomat 34, No. 4, 1261-1270 (2020). MSC: 06E30 06E05 PDFBibTeX XMLCite \textit{U. Marovac} and \textit{D. Banković}, Filomat 34, No. 4, 1261--1270 (2020; Zbl 1499.06051) Full Text: DOI
Horváth, Eszter K.; Šešelja, Branimir; Tepavčević, Andreja Cut approach to invariance groups of lattice-valued functions. (English) Zbl 1420.06022 Soft Comput. 21, No. 4, 853-859 (2017). MSC: 06E30 06E75 03B50 PDFBibTeX XMLCite \textit{E. K. Horváth} et al., Soft Comput. 21, No. 4, 853--859 (2017; Zbl 1420.06022) Full Text: DOI
Hashemi, Behnam; Tavakolipour, Hanieh; Nasrollahi Shirazi, Mahsa Explicit formulae for the greatest least-squares and minimum norm \(g\)-inverses and the unique group inverse of matrices over commutative residuated dioids. (English) Zbl 1351.15005 Semigroup Forum 92, No. 3, 541-550 (2016). Reviewer: Juan Ramon Torregrosa Sanchez (Valencia) MSC: 15A09 03G05 06B23 15A80 15A24 PDFBibTeX XMLCite \textit{B. Hashemi} et al., Semigroup Forum 92, No. 3, 541--550 (2016; Zbl 1351.15005) Full Text: DOI
Horváth, Eszter K.; Šešelja, Branimir; Tepavčevič, Andreja Isotone lattice-valued Boolean functions and cuts. (English) Zbl 1363.06019 Acta Sci. Math. 81, No. 3-4, 375-380 (2015). Reviewer: Renata Majovská (Horní Suchá) MSC: 06E30 PDFBibTeX XMLCite \textit{E. K. Horváth} et al., Acta Sci. Math. 81, No. 3--4, 375--380 (2015; Zbl 1363.06019) Full Text: DOI
Rushdi, Ali Muhammad Ali; Albarakati, Hussain Mobarak Prominent classes of the most general subsumptive solutions of Boolean equations. (English) Zbl 1360.06007 Inf. Sci. 281, 53-65 (2014). MSC: 06E30 PDFBibTeX XMLCite \textit{A. M. A. Rushdi} and \textit{H. M. Albarakati}, Inf. Sci. 281, 53--65 (2014; Zbl 1360.06007) Full Text: DOI
Poplavski, V. B. On applications of associativity of dual compositions in the algebra of Boolean matrices. (English. Russian original) Zbl 1280.15009 J. Math. Sci., New York 191, No. 5, 718-725 (2013); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 181-192 (2012). Reviewer: Janko Marovt (Braslovče) MSC: 15A24 15A30 15B34 06E05 PDFBibTeX XMLCite \textit{V. B. Poplavski}, J. Math. Sci., New York 191, No. 5, 718--725 (2013; Zbl 1280.15009); translation from Fundam. Prikl. Mat. 17(2011/12), No. 4, 181--192 (2012) Full Text: DOI
Marinković, Silvana; Banković, Dragić Subsumptive general solutions and parametric general solutions of Post equations. (English) Zbl 1258.06005 Inf. Sci. 187, 121-128 (2012). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 06D25 06E30 PDFBibTeX XMLCite \textit{S. Marinković} and \textit{D. Banković}, Inf. Sci. 187, 121--128 (2012; Zbl 1258.06005) Full Text: DOI
Otpuschennikov, I. V.; Semenov, A. A. Technology for translating combinatorial problems into Boolean equations. (Russian. English summary) Zbl 1477.68188 Prikl. Diskretn. Mat. 2011, No. 1(11), 96-115 (2011). MSC: 68R05 68-04 68R07 68W05 90C09 94A60 94D10 PDFBibTeX XMLCite \textit{I. V. Otpuschennikov} and \textit{A. A. Semenov}, Prikl. Diskretn. Mat. 2011, No. 1(11), 96--115 (2011; Zbl 1477.68188) Full Text: MNR
Rushdi, Ali M. A.; Amashah, Motaz H. Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations. (English) Zbl 1252.94127 Int. J. Comput. Math. 88, No. 15, 3136-3149 (2011). MSC: 94C10 06E30 PDFBibTeX XMLCite \textit{A. M. A. Rushdi} and \textit{M. H. Amashah}, Int. J. Comput. Math. 88, No. 15, 3136--3149 (2011; Zbl 1252.94127) Full Text: DOI
Díaz Varela, J. P.; López Martinolich, B. F. Resolution of algebraic systems of equations in the variety of cyclic Post algebras. (English) Zbl 1259.06012 Stud. Log. 98, No. 1-2, 307-330 (2011). MSC: 06D25 03G20 68W30 PDFBibTeX XMLCite \textit{J. P. Díaz Varela} and \textit{B. F. López Martinolich}, Stud. Log. 98, No. 1--2, 307--330 (2011; Zbl 1259.06012) Full Text: DOI
Sato, Yosuke; Inoue, Shutaro; Suzuki, Akira; Nabeshima, Katsusuke; Sakai, Ko Boolean Gröbner bases. (English) Zbl 1211.68519 J. Symb. Comput. 46, No. 5, 622-632 (2011). MSC: 68W30 06E20 13P10 PDFBibTeX XMLCite \textit{Y. Sato} et al., J. Symb. Comput. 46, No. 5, 622--632 (2011; Zbl 1211.68519) Full Text: DOI
Brown, Frank Markham On the suppression of variables in Boolean equations. (English) Zbl 1218.06008 Discrete Appl. Math. 159, No. 5, 255-258 (2011). Reviewer: Ioan Tomescu (Bucureşti) MSC: 06E30 PDFBibTeX XMLCite \textit{F. M. Brown}, Discrete Appl. Math. 159, No. 5, 255--258 (2011; Zbl 1218.06008) Full Text: DOI
Rudeanu, Sergiu Boolean sets and most general solutions of Boolean equations. (English) Zbl 1209.06006 Inf. Sci. 180, No. 12, 2440-2447 (2010). Reviewer: Ioan Tomescu (Bucureşti) MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, Inf. Sci. 180, No. 12, 2440--2447 (2010; Zbl 1209.06006) Full Text: DOI
Walicki, Michał Reference, paradoxes and truth. (English) Zbl 1193.03010 Synthese 171, No. 1, 195-226 (2009). MSC: 03A05 PDFBibTeX XMLCite \textit{M. Walicki}, Synthese 171, No. 1, 195--226 (2009; Zbl 1193.03010) Full Text: DOI
Gerdt, Vladimir P.; Kragler, Robert; Prokopenya, Alexander N. A Mathematica package for simulation of quantum computation. (English) Zbl 1202.81022 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 106-117 (2009). MSC: 81P68 81-08 68W30 PDFBibTeX XMLCite \textit{V. P. Gerdt} et al., Lect. Notes Comput. Sci. 5743, 106--117 (2009; Zbl 1202.81022) Full Text: DOI
Li, Pingke; Fang, Shu-Cherng A survey on fuzzy relational equations. I: Classification and solvability. (English) Zbl 1180.03051 Fuzzy Optim. Decis. Mak. 8, No. 2, 179-229 (2009). Reviewer: Milan Mareš (Praha) MSC: 03E72 PDFBibTeX XMLCite \textit{P. Li} and \textit{S.-C. Fang}, Fuzzy Optim. Decis. Mak. 8, No. 2, 179--229 (2009; Zbl 1180.03051) Full Text: DOI
Chai, Fengjuan; Gao, Xiao-Shan; Yuan, Chunming A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers. (English) Zbl 1201.94080 J. Syst. Sci. Complex. 21, No. 2, 191-208 (2008). MSC: 94A60 06E30 PDFBibTeX XMLCite \textit{F. Chai} et al., J. Syst. Sci. Complex. 21, No. 2, 191--208 (2008; Zbl 1201.94080) Full Text: DOI
Li, Pingke; Fang, Shu-Cherng On the resolution and optimization of a system of fuzzy relational equations with sup-\(T\) composition. (English) Zbl 1169.90493 Fuzzy Optim. Decis. Mak. 7, No. 2, 169-214 (2008). MSC: 90C70 90C10 PDFBibTeX XMLCite \textit{P. Li} and \textit{S.-C. Fang}, Fuzzy Optim. Decis. Mak. 7, No. 2, 169--214 (2008; Zbl 1169.90493) Full Text: DOI
Sato, Yosuke; Nagai, Akira; Inoue, Shutaro On the computation of elimination ideals of Boolean polynomial rings. (English) Zbl 1166.13303 Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15–17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 334-348 (2008). MSC: 13P10 68W30 PDFBibTeX XMLCite \textit{Y. Sato} et al., Lect. Notes Comput. Sci. 5081, 334--348 (2008; Zbl 1166.13303) Full Text: DOI
Simeone, Bruno A pseudo-Boolean consensus approach to nonlinear 0-1 optimization. (English) Zbl 1163.90657 Discrete Appl. Math. 156, No. 13, 2449-2458 (2008). MSC: 90C09 90C30 PDFBibTeX XMLCite \textit{B. Simeone}, Discrete Appl. Math. 156, No. 13, 2449--2458 (2008; Zbl 1163.90657) Full Text: DOI
Thiel, Christian A short introduction to Löwenheim’s life and work and to a hitherto unknown paper. (English) Zbl 1133.03003 Hist. Philos. Log. 28, No. 4, 289-302 (2007). Reviewer: Martin Weese (Potsdam) MSC: 03-03 01A70 01A60 PDFBibTeX XMLCite \textit{C. Thiel}, Hist. Philos. Log. 28, No. 4, 289--302 (2007; Zbl 1133.03003) Full Text: DOI
Banković, Dragić All general solutions of Post equations. (English) Zbl 1125.06007 Acta Math. Sin., Engl. Ser. 23, No. 5, 945-950 (2007). Reviewer: Jānis Cīrulis (Riga) MSC: 06D25 03G20 PDFBibTeX XMLCite \textit{D. Banković}, Acta Math. Sin., Engl. Ser. 23, No. 5, 945--950 (2007; Zbl 1125.06007) Full Text: DOI
Rudeanu, Sergiu Boolean transformations with unique fixed points. (English) Zbl 1199.06055 Math. Slovaca 57, No. 1, 1-9 (2007). Reviewer: Helmut Länger (Vienna) MSC: 06E30 PDFBibTeX XMLCite \textit{S. Rudeanu}, Math. Slovaca 57, No. 1, 1--9 (2007; Zbl 1199.06055) Full Text: DOI EuDML Link
Banković, Dragić Boolean inequations. (English) Zbl 1108.06009 Discrete Math. 307, No. 6, 750-755 (2007). MSC: 06E30 03G05 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 307, No. 6, 750--755 (2007; Zbl 1108.06009) Full Text: DOI
Vykhovanets, V. S. Algebraic decomposition of discrete functions. (English. Russian original) Zbl 1126.94368 Autom. Remote Control 67, No. 3, 361-392 (2006); translation from Avtom. Telemekh. 2006, No. 3, 20-53 (2006). MSC: 94C10 PDFBibTeX XMLCite \textit{V. S. Vykhovanets}, Autom. Remote Control 67, No. 3, 361--392 (2006; Zbl 1126.94368); translation from Avtom. Telemekh. 2006, No. 3, 20--53 (2006) Full Text: DOI
Arzi-Gonczarowski, Zippora Understanding one another: making out meanings with Boolean equations. (English) Zbl 1118.68113 Ann. Math. Artif. Intell. 48, No. 3-4, 109-134 (2006). MSC: 68T05 06E05 PDFBibTeX XMLCite \textit{Z. Arzi-Gonczarowski}, Ann. Math. Artif. Intell. 48, No. 3--4, 109--134 (2006; Zbl 1118.68113) Full Text: DOI
Abad, M.; Díaz Varela, J. P.; López Martinolich, B. F.; del C. Vannicola, M.; Zander, M. An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field. (English) Zbl 1117.06007 Cent. Eur. J. Math. 4, No. 4, 547-561 (2006). Reviewer: Renata Majovská (Horní Suchá) MSC: 06D25 12E20 PDFBibTeX XMLCite \textit{M. Abad} et al., Cent. Eur. J. Math. 4, No. 4, 547--561 (2006; Zbl 1117.06007) Full Text: DOI
Avilés, Antonio Extensions of Boolean isometries. (English) Zbl 1076.06009 Discrete Math. 297, No. 1-3, 1-12 (2005). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 06E30 54E35 PDFBibTeX XMLCite \textit{A. Avilés}, Discrete Math. 297, No. 1--3, 1--12 (2005; Zbl 1076.06009) Full Text: DOI arXiv
Avilés, Antonio Boolean metric spaces and Boolean algebraic varieties. (English) Zbl 1088.06011 Commun. Algebra 32, No. 5, 1805-1822 (2004). Reviewer: Henri Mascart (Toulouse) MSC: 06E20 16E50 PDFBibTeX XMLCite \textit{A. Avilés}, Commun. Algebra 32, No. 5, 1805--1822 (2004; Zbl 1088.06011) Full Text: DOI arXiv
Jaroszewicz, Szymon; Simovici, Dan A.; Rosenberg, Ivo Measures on Boolean polynomials and their applications in data mining. (English) Zbl 1050.68033 Discrete Appl. Math. 144, No. 1-2, 123-139 (2004). MSC: 68P15 68T05 28A12 PDFBibTeX XMLCite \textit{S. Jaroszewicz} et al., Discrete Appl. Math. 144, No. 1--2, 123--139 (2004; Zbl 1050.68033) Full Text: DOI
Yuan, Guangwei; Zuo, Fengli Parallel difference schemes for heat conduction equations. (English) Zbl 1047.65075 Int. J. Comput. Math. 80, No. 8, 995-999 (2003). Reviewer: Rolf Dieter Grigorieff (Berlin) MSC: 65M06 65Y05 35K05 65M12 PDFBibTeX XMLCite \textit{G. Yuan} and \textit{F. Zuo}, Int. J. Comput. Math. 80, No. 8, 995--999 (2003; Zbl 1047.65075) Full Text: DOI
Rudeanu, Sergiu Algebraic methods versus map methods of solving Boolean equations. (English) Zbl 1043.06011 Int. J. Comput. Math. 80, No. 7, 815-817 (2003). Reviewer: Nicolae Ţăndăreanu (Craiova) MSC: 06E30 PDFBibTeX XMLCite \textit{S. Rudeanu}, Int. J. Comput. Math. 80, No. 7, 815--817 (2003; Zbl 1043.06011) Full Text: DOI
Meguire, Philip Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors. (English) Zbl 1061.94088 Int. J. Gen. Syst. 32, No. 1, 25-87 (2003). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 94C10 06E30 03G99 03F99 PDFBibTeX XMLCite \textit{P. Meguire}, Int. J. Gen. Syst. 32, No. 1, 25--87 (2003; Zbl 1061.94088) Full Text: DOI
Yanushkevich, S. N. Matrix and combinatorics solutions of Boolean differential equations. (English) Zbl 0997.94042 Discrete Appl. Math. 117, No. 1-3, 279-292 (2002). Reviewer: Sergiu Rudeanu (Bucureşti) MSC: 94C10 06E30 PDFBibTeX XMLCite \textit{S. N. Yanushkevich}, Discrete Appl. Math. 117, No. 1--3, 279--292 (2002; Zbl 0997.94042) Full Text: DOI
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
Pedrycz, Witold Fuzzy relational equations: Bridging theory, methodology and practice. (English) Zbl 0965.03066 Int. J. Gen. Syst. 29, No. 4, 529-554 (2000). Reviewer: Jozef Drewniak (Katowice) MSC: 03E72 03-02 15B33 15B48 PDFBibTeX XMLCite \textit{W. Pedrycz}, Int. J. Gen. Syst. 29, No. 4, 529--554 (2000; Zbl 0965.03066) Full Text: DOI
Baader, Franz On the complexity of Boolean unification. (English) Zbl 1338.68092 Inf. Process. Lett. 67, No. 4, 215-220 (1998). MSC: 68Q25 68Q17 68T15 PDFBibTeX XMLCite \textit{F. Baader}, Inf. Process. Lett. 67, No. 4, 215--220 (1998; Zbl 1338.68092) Full Text: DOI Link
Reischer, Corina; Simovici, Dan A.; Stojmenovic, Ivan; Tosic, Ratko A characterization of Boolean collections of set-valued functions. (English) Zbl 0921.06012 Inf. Sci. 99, No. 3-4, 195-204 (1997). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 94C10 05A05 PDFBibTeX XMLCite \textit{C. Reischer} et al., Inf. Sci. 99, No. 3--4, 195--204 (1997; Zbl 0921.06012) Full Text: DOI
Banković, Dragić Horn sentences in Post algebras. (English) Zbl 0882.03062 Discrete Math. 173, No. 1-3, 269-275 (1997). Reviewer: S.Rudeanu (Bucureşti) MSC: 03G20 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 173, No. 1--3, 269--275 (1997; Zbl 0882.03062) Full Text: DOI
Banković, Dragić General reproductive solutions of Postian equations. (English) Zbl 0872.06009 Discrete Math. 169, No. 1-3, 163-168 (1997). MSC: 06D25 03G20 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 169, No. 1--3, 163--168 (1997; Zbl 0872.06009) Full Text: DOI
Marriott, Kim; Odersky, Martin Negative Boolean constraints. (English) Zbl 0872.68017 Theor. Comput. Sci. 160, No. 1-2, 365-380 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{K. Marriott} and \textit{M. Odersky}, Theor. Comput. Sci. 160, No. 1--2, 365--380 (1996; Zbl 0872.68017) Full Text: DOI
Serfati, M. On Postian algebraic equations. (English) Zbl 0852.06004 Discrete Math. 152, No. 1-3, 269-285 (1996). MSC: 06D25 PDFBibTeX XMLCite \textit{M. Serfati}, Discrete Math. 152, No. 1--3, 269--285 (1996; Zbl 0852.06004) Full Text: DOI
Banković, Dragić Formulas of general solutions of Boolean equations. (English) Zbl 0851.06005 Discrete Math. 152, No. 1-3, 25-32 (1996). MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 152, No. 1--3, 25--32 (1996; Zbl 0851.06005) Full Text: DOI
Rudeanu, Sergiu On quadratic Boolean equations. (English) Zbl 0854.06021 Fuzzy Sets Syst. 75, No. 2, 209-213 (1995). Reviewer: V.V.Gorlov (Minsk) MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, Fuzzy Sets Syst. 75, No. 2, 209--213 (1995; Zbl 0854.06021) Full Text: DOI
Banković, Dragić Formulas of general reproductive solutions of Boolean equations. (English) Zbl 0855.06010 Fuzzy Sets Syst. 75, No. 2, 203-207 (1995). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 PDFBibTeX XMLCite \textit{D. Banković}, Fuzzy Sets Syst. 75, No. 2, 203--207 (1995; Zbl 0855.06010) Full Text: DOI
Serfati, Michel Boolean differential equations. (English) Zbl 0832.06013 Discrete Math. 146, No. 1-3, 235-246 (1995). MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{M. Serfati}, Discrete Math. 146, No. 1--3, 235--246 (1995; Zbl 0832.06013) Full Text: DOI
Mayer, Joachim; Mitterreiter, Ilse; Radermacher, Franz Josef Running time experiments on some algorithms for solving propositional satisfiability problems. (English) Zbl 0844.68059 Ann. Oper. Res. 55, 139-178 (1995). MSC: 68Q25 68N15 90C99 PDFBibTeX XMLCite \textit{J. Mayer} et al., Ann. Oper. Res. 55, 139--178 (1995; Zbl 0844.68059) Full Text: DOI
Banković, Dragić All solutions of finite equations. (English) Zbl 0811.04002 Discrete Math. 137, No. 1-3, 1-6 (1995). MSC: 03E20 06E30 03G05 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 137, No. 1--3, 1--6 (1995; Zbl 0811.04002) Full Text: DOI
Synefaki, A. I.; Tsouros, C. C. Families of solutions of nonlinear pseudo-Boolean relations. (English) Zbl 0831.90086 Int. J. Comput. Math. 54, No. 3-4, 175-184 (1994). MSC: 90C09 90C60 68Q25 PDFBibTeX XMLCite \textit{A. I. Synefaki} and \textit{C. C. Tsouros}, Int. J. Comput. Math. 54, No. 3--4, 175--184 (1994; Zbl 0831.90086) Full Text: DOI
Ting, Shoutian; Zhao, Shuyu The geometry of Boolean space and its elementary figures. I. (English) Zbl 0815.06014 Discrete Math. 132, No. 1-3, 317-332 (1994). Reviewer: H.Szambien (Garbsen) MSC: 06E99 51K99 06E05 51D25 PDFBibTeX XMLCite \textit{S. Ting} and \textit{S. Zhao}, Discrete Math. 132, No. 1--3, 317--332 (1994; Zbl 0815.06014) Full Text: DOI
Rudeanu, Sergiu Unique solutions of Boolean ring equations. (English) Zbl 0788.06014 Discrete Math. 122, No. 1-3, 381-383 (1993). Reviewer: S.Rudeanu (Bucureşti) MSC: 06E30 06E20 PDFBibTeX XMLCite \textit{S. Rudeanu}, Discrete Math. 122, No. 1--3, 381--383 (1993; Zbl 0788.06014) Full Text: DOI
Banković, D. Certain Boolean equations. (English) Zbl 0742.06010 Discrete Appl. Math. 35, No. 1, 21-27 (1992). MSC: 06E30 03G05 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Appl. Math. 35, No. 1, 21--27 (1992; Zbl 0742.06010) Full Text: DOI
Socher-Ambrosius, Rolf Boolean algebra admits no convergent term rewriting system. (English) Zbl 1503.03021 Book, Ronald V. (ed.), Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10–12, 1991. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 488, 264-274 (1991). MSC: 03B35 06E05 68Q42 PDFBibTeX XMLCite \textit{R. Socher-Ambrosius}, Lect. Notes Comput. Sci. 488, 264--274 (1991; Zbl 1503.03021) Full Text: DOI
Ting, Shoutien; Zhoa, Shuyü The general Steiner problem in Boolean space and application. (English) Zbl 0734.51012 Discrete Math. 90, No. 1, 75-84 (1991). Reviewer: E.Quaisser (Potsdam) MSC: 51K99 06E30 94C10 PDFBibTeX XMLCite \textit{S. Ting} and \textit{S. Zhoa}, Discrete Math. 90, No. 1, 75--84 (1991; Zbl 0734.51012) Full Text: DOI
Pedrycz, W. Processing in relational structures: Fuzzy relational equations. (English) Zbl 0721.94030 Fuzzy Sets Syst. 40, No. 1, 77-106 (1991). MSC: 94D05 PDFBibTeX XMLCite \textit{W. Pedrycz}, Fuzzy Sets Syst. 40, No. 1, 77--106 (1991; Zbl 0721.94030) Full Text: DOI
Banković, Dragić Some remarks on number of parameters of the solutions of Boolean equations. (English) Zbl 0693.06012 Discrete Math. 79, No. 3, 229-234 (1990). Reviewer: N.Ţăndăreanu MSC: 06E30 94C10 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 79, No. 3, 229--234 (1990; Zbl 0693.06012) Full Text: DOI
Di Nola, Antonio; Lettieri, Ada Relation equations in residuated lattices. (English) Zbl 0691.06002 Rend. Circ. Mat. Palermo, II. Ser. 38, No. 2, 246-256 (1989). Reviewer: S.Rudeanu MSC: 06B23 06D20 94D05 06E30 PDFBibTeX XMLCite \textit{A. Di Nola} and \textit{A. Lettieri}, Rend. Circ. Mat. Palermo (2) 38, No. 2, 246--256 (1989; Zbl 0691.06002) Full Text: DOI
Martin, Ursula; Nipkow, Tobias Boolean unification - the story so far. (English) Zbl 0682.68093 J. Symb. Comput. 7, No. 3-4, 275-293 (1989). MSC: 68T15 68Q65 68W30 PDFBibTeX XMLCite \textit{U. Martin} and \textit{T. Nipkow}, J. Symb. Comput. 7, No. 3--4, 275--293 (1989; Zbl 0682.68093) Full Text: DOI
Martin, Ursula; Nipkow, Tobias Unification in Boolean rings. (English) Zbl 0659.68111 J. Autom. Reasoning 4, No. 4, 381-396 (1988). Reviewer: R.Horsch MSC: 68T15 06E20 03G05 PDFBibTeX XMLCite \textit{U. Martin} and \textit{T. Nipkow}, J. Autom. Reasoning 4, No. 4, 381--396 (1988; Zbl 0659.68111) Full Text: DOI
Büttner, Wolfram; Simonis, Helmut Embedding Boolean expressions into logic programming. (English) Zbl 0641.68148 J. Symb. Comput. 4, 191-205 (1987). MSC: 68T15 03G05 PDFBibTeX XMLCite \textit{W. Büttner} and \textit{H. Simonis}, J. Symb. Comput. 4, 191--205 (1987; Zbl 0641.68148) Full Text: DOI
Simovici, Dan; Reischer, Corina Iterative characterizations of Boolean algebras. (English) Zbl 0597.94017 Discrete Appl. Math. 15, 111-116 (1986). MSC: 94C10 06B05 06E05 PDFBibTeX XMLCite \textit{D. Simovici} and \textit{C. Reischer}, Discrete Appl. Math. 15, 111--116 (1986; Zbl 0597.94017) Full Text: DOI
Hansen, Pierre; Jaumard, Brigitte Uniquely solvable quadratic Boolean equations. (English) Zbl 0584.06008 Discrete Appl. Math. 12, 147-154 (1985). Reviewer: S.Rudeanu MSC: 06E99 90C09 05C99 06E05 94C10 PDFBibTeX XMLCite \textit{P. Hansen} and \textit{B. Jaumard}, Discrete Appl. Math. 12, 147--154 (1985; Zbl 0584.06008) Full Text: DOI
Hashimoto, Hiroshi Subinverses of fuzzy matrices. (English) Zbl 0551.15011 Fuzzy Sets Syst. 12, 155-168 (1984). Reviewer: K.H.Kim MSC: 15B57 03E72 PDFBibTeX XMLCite \textit{H. Hashimoto}, Fuzzy Sets Syst. 12, 155--168 (1984; Zbl 0551.15011) Full Text: DOI
Ţăndăreanu, Nicolae On generalized Boolean functions. III. The case \(A=\{0,1\}\). (English) Zbl 0546.94022 Discrete Math. 52, 269-277 (1984). MSC: 94C10 PDFBibTeX XMLCite \textit{N. Ţăndăreanu}, Discrete Math. 52, 269--277 (1984; Zbl 0546.94022) Full Text: DOI
Melter, Robert A.; Rudeanu, Sergiu Alternative definitions of Boolean functions and relations. (English) Zbl 0535.06009 Arch. Math. 43, 16-20 (1984). MSC: 06E99 06E05 PDFBibTeX XMLCite \textit{R. A. Melter} and \textit{S. Rudeanu}, Arch. Math. 43, 16--20 (1984; Zbl 0535.06009) Full Text: DOI
Melter, Robert A.; Rudeanu, Sergiu Linear equations and interpolation in Boolean algebra. (English) Zbl 0526.06012 Linear Algebra Appl. 57, 31-40 (1984). MSC: 06E99 15A06 PDFBibTeX XMLCite \textit{R. A. Melter} and \textit{S. Rudeanu}, Linear Algebra Appl. 57, 31--40 (1984; Zbl 0526.06012) Full Text: DOI
Banković, Dragić Solving systems of arbitrary equations. (English) Zbl 0547.39004 Discrete Math. 46, 305-309 (1983). Reviewer: Z.Skupien MSC: 39B52 03E20 06E20 PDFBibTeX XMLCite \textit{D. Banković}, Discrete Math. 46, 305--309 (1983; Zbl 0547.39004) Full Text: DOI
Rudeanu, Sergiu Linear Boolean equations and generalized minterms. (English) Zbl 0525.06005 Discrete Math. 43, 241-248 (1983). MSC: 06E99 03G05 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, Discrete Math. 43, 241--248 (1983; Zbl 0525.06005) Full Text: DOI
Pedrycz, Witold Fuzzy relational equations with generalized connectives and their applications. (English) Zbl 0525.04004 Fuzzy Sets Syst. 10, 185-201 (1983). MSC: 03E20 PDFBibTeX XMLCite \textit{W. Pedrycz}, Fuzzy Sets Syst. 10, 185--201 (1983; Zbl 0525.04004) Full Text: DOI
Sugeno, Michio; Sasaki, Moritoshi L-fuzzy category. (English) Zbl 0521.18001 Fuzzy Sets Syst. 11, 43-64 (1983). MSC: 18A05 18A15 03E72 PDFBibTeX XMLCite \textit{M. Sugeno} and \textit{M. Sasaki}, Fuzzy Sets Syst. 11, 43--64 (1983; Zbl 0521.18001) Full Text: DOI
Ghilezan, Coriolan Les dérivées partielles des fonctions pseudo-Booleennes généralisées. (French) Zbl 0507.94009 Discrete Appl. Math. 4, 37-45 (1982). MSC: 94A24 94C10 PDFBibTeX XMLCite \textit{C. Ghilezan}, Discrete Appl. Math. 4, 37--45 (1982; Zbl 0507.94009) Full Text: DOI
Tandareanu, Nicolae On generalized Boolean functions. II. (English) Zbl 0498.94020 Discrete Math. 40, 277-284 (1982). MSC: 94C10 PDFBibTeX XMLCite \textit{N. Tandareanu}, Discrete Math. 40, 277--284 (1982; Zbl 0498.94020) Full Text: DOI
Brown, Frank Markham Segmental solutions of Boolean equations. (English) Zbl 0481.06011 Discrete Appl. Math. 4, 87-96 (1982). MSC: 06E99 94C10 PDFBibTeX XMLCite \textit{F. M. Brown}, Discrete Appl. Math. 4, 87--96 (1982; Zbl 0481.06011) Full Text: DOI
Kim, Ki Hang; Roush, Fred W. Dominance solvable games and trees. (English) Zbl 0479.90016 Math. Soc. Sci. 2, 245-256 (1982). MSC: 91B14 PDFBibTeX XMLCite \textit{K. H. Kim} and \textit{F. W. Roush}, Math. Soc. Sci. 2, 245--256 (1982; Zbl 0479.90016) Full Text: DOI
Tandareanu, Nicolae On generalized Boolean functions. I. (English) Zbl 0488.94038 Discrete Math. 34, 293-299 (1981). MSC: 94C10 03G05 06E99 PDFBibTeX XMLCite \textit{N. Tandareanu}, Discrete Math. 34, 293--299 (1981; Zbl 0488.94038) Full Text: DOI
Meditch, James S.; Inbar, Michael Synthesis of linear sequential machines. (English) Zbl 0378.93021 Int. J. Syst. Sci. 9, 709-720 (1978). MSC: 93C05 93B15 93C99 93C55 PDFBibTeX XMLCite \textit{J. S. Meditch} and \textit{M. Inbar}, Int. J. Syst. Sci. 9, 709--720 (1978; Zbl 0378.93021) Full Text: DOI
Simoes-Pereira, J. M. S. A note on finite topologies and switching functions. (English) Zbl 0381.94029 Discrete Math. 18, 299-310 (1977). MSC: 94C10 54A05 54B15 PDFBibTeX XMLCite \textit{J. M. S. Simoes-Pereira}, Discrete Math. 18, 299--310 (1977; Zbl 0381.94029) Full Text: DOI
Thayse, A. Difference operators and extended truth vectors for discrete functions. (English) Zbl 0334.94012 Discrete Math. 14, 171-202 (1976). MSC: 94C10 03B50 PDFBibTeX XMLCite \textit{A. Thayse}, Discrete Math. 14, 171--202 (1976; Zbl 0334.94012) Full Text: DOI
Rudeanu, Sergiu Local properties of Boolean functions. II: Isotony. (English) Zbl 0323.06018 Discrete Math. 13, 161-183 (1975). MSC: 06E05 03G05 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, Discrete Math. 13, 161--183 (1975; Zbl 0323.06018) Full Text: DOI
Rudeanu, Sergiu Local properties of Boolean functions. I: Injectivity. (English) Zbl 0323.06017 Discrete Math. 13, 143-160 (1975). MSC: 06E05 03G05 94C10 PDFBibTeX XMLCite \textit{S. Rudeanu}, Discrete Math. 13, 143--160 (1975; Zbl 0323.06017) Full Text: DOI