@inproceedings{clement2026RCCH,
  TITLE = {A Complete Equational Theory for Real-{C}lifford+{CH} Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre},
  URL = {https://hal.science/hal-05487235},
  BOOKTITLE = {{41st Annual Symposium on Logic in Computer Science (LICS 2026)}},
  ADDRESS = {Lisbon, Portugal},
  PUBLISHER = {{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}},
  SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
  VOLUME = {380},
  PAGES = {28:1--28:26},
  YEAR = {2026},
  MONTH = Jul,
  DOI = {10.4230/LIPIcs.LICS.2026.28},
  KEYWORDS = {graphical language ; completeness ; Quantum circuits},
  PDF = {https://hal.science/hal-05487235v1/file/TEC-real-Clifford%2BCH-HALv1.pdf},
  HAL_ID = {hal-05487235},
  HAL_VERSION = {v1},
  ISBN =	{978-3-95977-434-5},
  ISSN =	{1868-8969},
  editor =	{Faggian, Claudia and Katoen, Joost-Pieter},
  eprint={2602.06644},
  arxiv_long = {https://arxiv.org/abs/2602.06644}
}