几种确定型量子程序的可达和终止验证

文件格式： PDF文档

文件大小： 3.08 MB

资源类别：计算机

关键词：验证终止程序确定量子

进入标准下载页面

本资源下载需 1 点

论文简介

几种确定型量子程序的可达和终止验证

相关推荐