A Classical Propositional Logic for Reasoning About Reversible Logic Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard. A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. In Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Volume 9803 of Lecture Notes in Computer Science, pages 52-67, Springer, 2016. [doi]

This author has not been identified. Look up 'Holger Bock Axelsen' in GoogleThis author has not been identified. It may be one of the following persons:

Robert Glück

Look up 'Robert Glück' in GoogleThis author has not been identified. Look up 'Robin Kaarsgaard' in Google

runs on WebDSL