Steinbach, Bernd; Posthoff, Christian Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor. 3rd expanded and updated edition. (English) Zbl 1487.94002 Cham: Springer (ISBN 978-3-030-88944-9/hbk; 978-3-030-88945-6/ebook). xvi, 810 p. (2022). MSC: 94-01 94D10 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor. 3rd expanded and updated edition. Cham: Springer (2022; Zbl 1487.94002) Full Text: DOI
Steinbach, Bernd; Posthoff, Christian Derivative operations for classes \(\mathcal{C}_N\) of Boolean functions. (English) Zbl 1528.94135 Drechsler, Rolf (ed.) et al., Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. Cham: Springer. 51-82 (2020). MSC: 94D10 94C11 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, in: Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018. Cham: Springer. 51--82 (2020; Zbl 1528.94135) Full Text: DOI
Steinbach, Bernd; Posthoff, Christian Boolean differential calculus. (English) Zbl 1421.06001 Synthesis Lectures on Digital Circuits and Systems 52. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-922-0/pbk; 978-1-62705-617-5/ebook). xii, 203 p. (2017). Reviewer: Ioan Tomescu (Bucureşti) MSC: 06-02 06Exx 26E99 94-02 94C10 94A60 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, Boolean differential calculus. San Rafael, CA: Morgan \& Claypool Publishers (2017; Zbl 1421.06001) Full Text: DOI
Steinbach, Bernd; Posthoff, Christian EAGLE-STARTING AID. Technical informatics. Logical funcions – Boolean models. (EAGLE-STARTHILFE. Technische Informatik. Logische Funktionen – Boolesche Modelle.) (German) Zbl 1297.68004 EAGLE 77. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-937219-77-6/pbk). 100 p. (2014). Reviewer: Gottfried Vossen (Münster) MSC: 68-01 68M07 68N15 94C10 00A06 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, EAGLE-STARTHILFE. Technische Informatik. Logische Funktionen -- Boolesche Modelle. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (2014; Zbl 1297.68004)
Steinbach, Bernd; Posthoff, Christian Logic functions and equations. Examples and exercises. (English) Zbl 1166.94002 Dordrecht: Springer (ISBN 978-1-4020-9594-8/hbk; 978-1-4020-9595-5/ebook). xxii, 231 p. (2009). Reviewer: Ioan Tomescu (Bucureşti) MSC: 94-01 94C10 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, Logic functions and equations. Examples and exercises. Dordrecht: Springer (2009; Zbl 1166.94002) Full Text: DOI
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)
Steinbach, Bernd; Lang, Christian Exploiting functional properties of Boolean functions for optimal multi-level design by bi-decomposition. (English) Zbl 1060.94052 Artif. Intell. Rev. 20, No. 3-4, 319-360 (2003). MSC: 94C10 68T05 06E30 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Lang}, Artif. Intell. Rev. 20, No. 3--4, 319--360 (2003; Zbl 1060.94052) Full Text: DOI