%0 Conference Paper %1 conf/wollic/AxelsenGK16 %A Axelsen, Holger Bock %A Glück, Robert %A Kaarsgaard, Robin %B WoLLIC %D 2016 %E Väänänen, Jouko A. %E Hirvonen, Åsa %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 52-67 %T A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#AxelsenGK16 %V 9803 %@ 978-3-662-52920-1

@inproceedings{conf/wollic/AxelsenGK16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Axelsen, Holger Bock and Glück, Robert and Kaarsgaard, Robin}, biburl = {https://www.bibsonomy.org/bibtex/24eda2d9deef3bd6f49e0374abff79ffd/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2016}, editor = {Väänänen, Jouko A. and Hirvonen, Åsa and de Queiroz, Ruy J. G. B.}, ee = {https://www.wikidata.org/entity/Q62038212}, interhash = {8909586976a7cfda31f55508dccc3a8d}, intrahash = {4eda2d9deef3bd6f49e0374abff79ffd}, isbn = {978-3-662-52920-1}, keywords = {dblp}, pages = {52-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T14:03:08.000+0200}, title = {A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#AxelsenGK16}, volume = 9803, year = 2016 }