Reversible Logic Synthesis: From Fundamentals to Quantum Computing

The Logic of Chemical Synthesis

Datalog and Logic Databases (Synthesis Lectures on Data Management)

Logic-Based Benders Decomposition: Theory and Applications (Synthesis Lectures on Operations Research and Applications)

Logic Synthesis for Multi-Core Counter-Based Control Units: Structural Decomposition in Logic Design