。 。 。 。 。 “郑胜根等人：由半量子双向有限自动机建模的具有验证器的交互式证明系统的力量。（2015）”。 。 。 _：ID_79f33e566295dffecb3052f6ceef19ff。_：ID_79f33e566295dffecb3052f6ceef19ff 。_：ID_79f33e566295dffecb3052f6ceef19ff 。_：ID_79f33e566295dffecb3052f6ceef19ff“期刊/iandc/ZhengQG15”。 _：ID_a920a9d60d94407beb8508cdda9e3bfc。_：识别号_a920a9d60d94407beb8508cdda9e3bfc 。_：ID_a920a9d60d94407beb8508cdda9e3bfc 。_：ID_a920a9d60d94407beb8508cdda9e3bfc“10.1016/J.IC.2015.02.003”。 “用半量子双向有限自动机建模的带有验证器的交互式证明系统的威力。”。 。 。 。 。 "3"^^。 _：Sig_3d4bde14bef428e88f2b52a787943_1。_：Sig_3d4bde14bef428e88f2b52a787943_1 。_：Sig_3d4bde14bef428e88f2b52a787943_1“生根征”。_：Sig_3d4bde14bef428e88f2b52a787943_1 。_：Sig_3d4bde14bef428e88f2b52a787943_1"1"^^。_：Sig_3d4bde14bef428e88f2b52a787943_1 。 _：Sig_3d4bde14bef428e88f2b52a787943_2。_：Sig_3d4bde14bef428e88f2b52a787943_2 。_：Sig_3d4bde14bef428e88f2b52a787943_2“道文秋”。_：Sig_3d4bde14bef428e88f2b52a787943_2 。_：Sig_3d4bde14bef428e88f2b52a787943_2"2"^^。_：Sig_3d4bde14bef428e88f2b52a787943_2 。 _：Sig_3d_bde_14bef428e88f2b52a787943_3。_：Sig_3d4bde14bef428e88f2b52a787943_3 。_：Sig_3d4bde14bef428e88f2b52a787943_3“Jozef Gruska”。_：信号_3d4bde14be1f3f428e88f2b52a787943_3 。_：Sig_3d4bde14bef428e88f2b52a787943_3"3"^^。_：Sig_3d4bde14bef428e88f2b52a787943_3 。 。 。 。 "197-214" . “信息计算”。 “信息计算”。 "241" . "2015"^^。 “dblp记录‘journals/iandc/ZhengQG15’的RDF数据的来源信息”。 。 。 。 “2021-02-12T22:16:16+0100”。