亚历克斯·加夫柳什金;巴哈迪尔·库萨诺夫;斯蒂芬,弗兰克 递归可枚举结构引起的等价关系之间的约简。 (英语) Zbl 1338.03077号 西奥。计算。科学。 612, 137-152 (2016). 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Gavryushkin}等人,Theor。计算。科学。612137-152(2016;Zbl 1338.03077) 全文: 内政部
吴明元;郭兰坤;李庆国 用信息系统表示L域。 (英语) Zbl 1332.68136号 西奥。计算。科学。 612, 126-136 (2016).MSC公司:68问题55 06立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Wu}等人,Theor。计算。科学。612126——136(2016年;Zbl 1332.68136) 全文: 内政部
詹妮克·德雷尔;克里斯蒂安·埃内;帕斯卡·拉福卡德;亚辛·拉赫内奇 应用积分中过程唯一分解的存在性和可判定性。 (英语) Zbl 1333.68197号 西奥。计算。科学。 612, 102-125 (2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,Theor。计算。科学。612102--125(2016年;Zbl 1333.68197) 全文: 内政部 哈尔
弗里德里希·斯利沃夫斯基;斯泽德,斯特凡 依赖模式的\(\mathcal{Q}\)-解析的正确性。 (英语) Zbl 1332.68204号 西奥。计算。科学。 612、83-101(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Slivovsky}和\textit{S.Szeider},Theor。计算。科学。61283--101(2016年;Zbl 1332.68204) 全文: 内政部
刘昌娟;刘芬荣;苏凯乐;朱恩强 对短视的广泛游戏的逻辑描述。 (英语) Zbl 1333.91006号 西奥。计算。科学。 612, 63-82 (2016).MSC公司:91A18号 03B45号 91年2月26日 PDF格式BibTeX公司 XML格式引用 \textit{C.Liu}等人,Theor。计算。科学。61263--82(2016年;Zbl 1333.91006) 全文: 内政部
潘海宇;李永明;曹永志;马,战友 有限格上的模型检查计算树逻辑。 (英语) Zbl 1332.68141号 西奥。计算。科学。 612, 45-62 (2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,Theor。计算。科学。61245--62(2016;Zbl 1332.68141) 全文: 内政部
巴斯·卢提克 分支和弱互模拟语义中的唯一并行分解。 (英语) Zbl 1332.68159号 西奥。计算。科学。 612, 29-44 (2016).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.Luttik},Theor。计算。科学。612、29-44(2016年;Zbl 1332.68159) 全文: 内政部 arXiv公司
徐兆伟;隋、岳飞;张文辉 标准模型上输入的霍尔逻辑的完整性。 (英语) Zbl 1333.68182号 西奥。计算。科学。 612, 23-28 (2016).MSC公司:60年第68季度 03B70号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}等人,Theor。计算。科学。612,23-28(2016;Zbl 1333.68182) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 adhoc网络协议的时间敏感模型的参数化验证。 (英语) Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司:60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Theor。计算。科学。612,1--22(2016;Zbl 1332.68137) 全文: 内政部