A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'A Classical Propositional Logic for Reasoning About Reversible Logic Circuits'. Together they form a unique fingerprint.

Engineering & Materials Science