scientific article; zbMATH DE number 2233860

MaRDI QIDQ5709392zbMATH OpenFDO

Authors Christian Posthoff, Bernd Steinbach

Publication date 29 November 2005

zbMATH Keywords

Boolean derivativeBoolean differentialcombinational circuitfinite-state machinelogic analysislogic designlogic equationlogic function

Mathematics Subject Classification ID

Boolean functions (06E30) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02)

Recommendations

• Logic Functions and Equations
• Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor
• scientific article; zbMATH DE number 1249503
• scientific article; zbMATH DE number 5043201
• scientific article; zbMATH DE number 49082

Cited in

(22)

• Algebraic logic. Transl. from the Russian by Robert H. Silverman
• Binary functions and their applications
• Matrix and combinatorics solutions of Boolean differential equations
• Logic differential calculus: Progress, tendencies, and applications
• A new calculation for Boolean derivative using Cheng product
• A complete equational axiomatisation of partial differentiation
• Bi-decomposition of multi-valued logical functions and its applications
• scientific article; zbMATH DE number 1634465 (Why is no real title available?)
• scientific article; zbMATH DE number 3981089 (Why is no real title available?)
• scientific article; zbMATH DE number 49082 (Why is no real title available?)
• scientific article; zbMATH DE number 1249503 (Why is no real title available?)
• scientific article; zbMATH DE number 1179500 (Why is no real title available?)
• Locally monotone Boolean and pseudo-Boolean functions
• Fast Optimal Synthesis of Symmetric Index Generation Functions
• Logic functions and equations. Fundamentals and applications using the XBOOLE-monitor
• Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018
• Functions related to binary representation of integers
• Mathematical foundations and computational methods for a digital logic machine
• EAGLE-STARTING AID. Technical informatics. Logical funcions -- Boolean models
• Logic Functions and Equations
• Known and new insides to the problem of rectangle-free four-colored grids
• Simple vs. vectorial: exploiting structural symmetry to beat the ZeroSum distinguisher

Describes a project that uses

Uses Software

• XBOOLE

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 Q5709392)