郑生根（Shenggen Zheng）等：用半量子双向有限自动机建模的带验证器的交互式证明系统的威力（2013） 日记账/corr/abs-1304-3876 1304.3876 半量子双向有限自动机模型下带验证器的交互式证明系统的威力 三 郑生根 1 乔泽夫·格鲁斯卡 2 邱道文 三 CoRR公司 CoRR公司 abs/1304.3876 2013 dblp记录“journals/corr/abs-1304-3876”的RDF数据的来源信息 2018年8月13日16:48:39+0200