フォロー
Alejandro Villoria Gonzalez
Alejandro Villoria Gonzalez
PhD candidate, Leiden University
確認したメール アドレス: liacs.leidenuniv.nl
タイトル
引用先
引用先
年
Automated reasoning in quantum circuit compilation
D Thanos, A Villoria, S Brand, AJ Quist, J Mei, T Coopmans, A Laarman
International Symposium on Model Checking Software, 106-134, 2024
72024
Enriching Diagrams with Algebraic Operations
A Villoria, H Basold, A Laarman
International Conference on Foundations of Software Science and Computation …, 2024
22024
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–2