-
1تقرير
المؤلفون: Voichick, Finn, Li, Liyi, Rand, Robert, Hicks, Michael
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2204.12384Test
-
2تقرير
المؤلفون: Peng, Yuxiang, Hietala, Kesha, Tao, Runzhou, Li, Liyi, Rand, Robert, Hicks, Michael, Wu, Xiaodi
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2204.07112Test
-
3تقرير
المؤلفون: Li, Liyi, Voichick, Finn, Hietala, Kesha, Peng, Yuxiang, Wu, Xiaodi, Hicks, Michael
مصطلحات موضوعية: Quantum Physics, Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2112.06700Test
-
4تقرير
المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Li, Liyi, Hicks, Michael
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/2010.01240Test
-
5تقرير
-
6تقرير
-
7تقرير
المؤلفون: Hung, Shih-Han, Hietala, Kesha, Zhu, Shaopeng, Ying, Mingsheng, Hicks, Michael, Wu, Xiaodi
مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics
الوصول الحر: http://arxiv.org/abs/1811.03585Test
-
8
المؤلفون: Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Li, Liyi, Hicks, Michael
مصطلحات موضوعية: FOS: Computer and information sciences, Quantum Physics, Computer Science - Programming Languages, Hardware → Quantum computation, ComputerSystemsOrganization_MISCELLANEOUS, Software and its engineering → Formal software verification, FOS: Physical sciences, Quantum Computing, Quantum Physics (quant-ph), Proof Engineering, Formal Verification, Programming Languages (cs.PL)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7b30dd293420bd2b65c0e001e2c779eTest