| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{ClmentHeurtelMansfi-ACompleteEquational,
author = {Alexandre Clément and Nicolas Heurtel and Shane Mansfield and Simon Perdrix and Benoît Valiron},
title = {A Complete Equational Theory for Quantum Circuits},
booktitle = {Proceedings of the Thirty eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2023)},
year = {2023},
month = {June},
pages = {1--13},
location = {Boston, USA},
publisher = {IEEE Computer Society Press}
}