Personensuche
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Minimal Equational Theories for Quantum Circuits:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
2