Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 1 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
[
Type
]
Year
Filters:
Author
is
Tao, Runzhou
[Clear All Filters]
Journal Article
H. Deng
,
Tao, R.
,
Peng, Y.
, and
Wu, X.
,
“
A Case for Synthesis of Recursive Quantum Unitary Programs
”
,
Proceedings of the ACM on Programming Languages
, vol. 8, pp. 1759–1788, 2024.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS