Quantified Synthesis of Reversible Logic

Robert Wille, Hoang M. Le, Gerhard W. Dueck, Daniel Große. Quantified Synthesis of Reversible Logic. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 1015-1020, 2008. [doi]

Abstract

Abstract is missing.