Standard
A classical propositional logic for reasoning about reversible logic circuits. / Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin.
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. ed. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Springer, 2016. p. 52-67 (Lecture notes in computer science, Vol. 9803).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Axelsen, HB
, Glück, R & Kaarsgaard, R 2016,
A classical propositional logic for reasoning about reversible logic circuits. in J Väänänen, Å Hirvonen & R de Queiroz (eds),
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Springer, Lecture notes in computer science, vol. 9803, pp. 52-67, 23rd International Workshop on Logic, Language, Information and Computation, Puebla, Mexico,
16/08/2016.
https://doi.org/10.1007/978-3-662-52921-8_4APA
Axelsen, H. B.
, Glück, R., & Kaarsgaard, R. (2016).
A classical propositional logic for reasoning about reversible logic circuits. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.),
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (pp. 52-67). Springer. Lecture notes in computer science Vol. 9803
https://doi.org/10.1007/978-3-662-52921-8_4Vancouver
Axelsen HB
, Glück R, Kaarsgaard R.
A classical propositional logic for reasoning about reversible logic circuits. In Väänänen J, Hirvonen Å, de Queiroz R, editors, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Springer. 2016. p. 52-67. (Lecture notes in computer science, Vol. 9803).
https://doi.org/10.1007/978-3-662-52921-8_4Author
Axelsen, Holger Bock ; Glück, Robert ; Kaarsgaard, Robin. / A classical propositional logic for reasoning about reversible logic circuits. Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. editor / Jouko Väänänen ; Åsa Hirvonen ; Ruy de Queiroz. Springer, 2016. pp. 52-67 (Lecture notes in computer science, Vol. 9803).
Bibtex
@inproceedings{f9c75887f1b3497e9174e83547aca620,
title = "A classical propositional logic for reasoning about reversible logic circuits",
author = "Axelsen, {Holger Bock} and Robert Gl{\"u}ck and Robin Kaarsgaard",
year = "2016",
doi = "10.1007/978-3-662-52921-8_4",
language = "English",
isbn = "978-3-662-52920-1",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "52--67",
editor = "Jouko V{\"a}{\"a}n{\"a}nen and {\AA}sa Hirvonen and {de Queiroz}, Ruy",
booktitle = "Logic, Language, Information, and Computation",
address = "Switzerland",
note = "null ; Conference date: 16-08-2016 Through 19-08-2016",
}
RIS
TY - GEN
T1 - A classical propositional logic for reasoning about reversible logic circuits
AU - Axelsen, Holger Bock
AU - Glück, Robert
AU - Kaarsgaard, Robin
N1 - Conference code: 23
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-662-52921-8_4
DO - 10.1007/978-3-662-52921-8_4
M3 - Article in proceedings
SN - 978-3-662-52920-1
T3 - Lecture notes in computer science
SP - 52
EP - 67
BT - Logic, Language, Information, and Computation
A2 - Väänänen, Jouko
A2 - Hirvonen, Åsa
A2 - de Queiroz, Ruy
PB - Springer
Y2 - 16 August 2016 through 19 August 2016
ER -
