บทความที่มีข้อกำหนดการเข้าถึงสาธารณะ - Mohamed Yousri Mahmoudดูข้อมูลเพิ่มเติม
มีให้ใช้งานในบางที่: 2
Formalization of metatheory of the Quipper quantum programming language in a linear logic
MY Mahmoud, AP Felty
Journal of Automated Reasoning 63 (4), 967-1002, 2019
ข้อกำหนด: Natural Sciences and Engineering Research Council of Canada
A modeling and verification framework for optical quantum circuits
SM Beillahi, MY Mahmoud, S Tahar
Formal Aspects of Computing 31, 321-351, 2019
ข้อกำหนด: Natural Sciences and Engineering Research Council of Canada
แหล่งที่มาและข้อมูลกองทุนดำเนินการโดยโปรแกรมคอมพิวเตอร์โดยอัตโนมัติ