Normal view
MARC view
Termination analysis(Topical Term)
Machine generated authority record
Work cat.: (OSt)1432869: Ying, Mingsheng author. 814417, Foundations of Quantum Programming, 2024.