Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}