%0 Conference Paper %1 conf/cade/ChenRT23 %A Chen, Yu-Fang %A Rümmer, Philipp %A Tsai, Wei-Lun %B CADE %D 2023 %E Pientka, Brigitte %E Tinelli, Cesare %I Springer %K dblp %P 170-189 %T A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification). %U http://dblp.uni-trier.de/db/conf/cade/cade2023.html#ChenRT23 %V 14132 %@ 978-3-031-38499-8

@inproceedings{conf/cade/ChenRT23, added-at = {2023-09-14T00:00:00.000+0200}, author = {Chen, Yu-Fang and Rümmer, Philipp and Tsai, Wei-Lun}, biburl = {https://www.bibsonomy.org/bibtex/2e05293eb613dc4de21197c0e7d42f255/dblp}, booktitle = {CADE}, crossref = {conf/cade/2023}, editor = {Pientka, Brigitte and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-031-38499-8_10}, interhash = {e7a9ae2c07d6a606f37750d712ca06ae}, intrahash = {e05293eb613dc4de21197c0e7d42f255}, isbn = {978-3-031-38499-8}, keywords = {dblp}, pages = {170-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2023.html#ChenRT23}, volume = 14132, year = 2023 }