Announcement_27
I was honored to give an invited talk on An Algebraic Specification for Quantum Computation in Maude at Lecture Series on Foundations of Quantum Programming by Professor Mingsheng Ying in Kyushu University, Fukuoka, Japan (slides).
I was honored to give an invited talk on An Algebraic Specification for Quantum Computation in Maude at Lecture Series on Foundations of Quantum Programming by Professor Mingsheng Ying in Kyushu University, Fukuoka, Japan (slides).