弗兰兹·巴德;奥利弗·费尔南德斯·吉尔 用概念测度引发的阈值概念扩展描述逻辑\(\mathcal{EL}\)。 (英语) Zbl 07803980号 Artif公司。智力。 326,文章ID 104034,66 p.(2024).MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{O.Fernández Gil},Artif。智力。326,文章ID 104034,66 p.(2024;Zbl 07803980) 全文: 内政部
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特穆尔库西亚;丹尼尔·南特斯·索布里尼奥 标称AC匹配。 (英语) Zbl 07810723号 Dubois,Catherine(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101,53-68(2023年)。MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Lect。注释计算。科学。14101、53-68(2023;Zbl 07810723) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 (英语) Zbl 07741963号 J.日志。代数。方法计划。 135,文章ID 100904,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},J.Log。代数。方法计划。135,文章ID 100904,18 p.(2023;Zbl 07741963) 全文: 内政部
乌尔里希·伯杰;Hideki Tsuiki 从证明中提取总Amb程序。 (英语) Zbl 1528.68077号 谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 85-113 (2022).MSC公司:68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki},莱克特。注释计算。科学。13240,85-113(2022;Zbl 1528.68077) 全文: 内政部 arXiv公司
肯塔罗州菊池 名义重写中的接地合流和强交换模α等价。 (英语) Zbl 07719836号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13572, 255-271 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{K.菊池},莱克特。注释计算。科学。13572255-271(2022;Zbl 07719836) 全文: 内政部
巴特·博加特;马克西姆·雅库博夫斯基;Van den Bussche,简 SHACL:伪装的描述逻辑。 (英语) Zbl 1515.68301号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 75-88 (2022).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Bogaerts}等人,Lect。注释计算。科学。13416,75-88(2022;Zbl 1515.68301) 全文: 内政部 arXiv公司
Besik Dundua;特穆尔库西亚;米哈伊尔·鲁卡亚 未排名的名义统一。 (英语) Zbl 07570784号 奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206, 279-296 (2022).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人,Lect。注释计算。科学。13206、279--296(2022;Zbl 07570784) 全文: 内政部
波涅瓦,伊奥夫卡;约阿希姆·尼伦;莫马尔·萨霍 具有约束上下文变量的压缩树模式的常规匹配和包含。 (英语) Zbl 1487.68141号 Inf.计算。 286,文章ID 104776,25 p.(2022).MSC公司:65年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}等人,《信息计算》。286,文章ID 104776,25 p.(2022;Zbl 1487.68141) 全文: 内政部 链接
Schmidt Schauß,曼弗雷德;特穆尔库西亚;约尔迪·利维;马图·维拉雷特;尤努斯·库茨 用递归let实现高阶表达式的名义统一和匹配。 (英语) Zbl 07527238号 芬丹。通知。 185,编号3,247-283(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Fundam。通知。185,第3号,247--283(2022;Zbl 07527238) 全文: 内政部 arXiv公司
伦纳德·博塔;托马斯·梅耶;拉斐尔·佩尼亚洛扎 概率描述逻辑(mathcal{BALC})。 (英语) Zbl 07776317号 理论与实践。日志。程序。 21,第4号,404-427(2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{L.Botha}等人,《理论与实践》。日志。程序。21,第4号,404--427(2021;Zbl 07776317) 全文: 内政部 arXiv公司
塞尔达,埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 非双联通过等式副调制将统一和闭合结合在一起。 (英语) Zbl 07497914号 Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 25-42 (2021).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,Lect。注释计算。科学。12941,25-42(2021;Zbl 07497914) 全文: 内政部 哈尔
塞尔达,埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 终止非分离组合统一。 (英语) Zbl 07496644号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 113-130 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,Lect。注释计算。科学。12561113-130(2021年;兹bl 07496644) 全文: 内政部 哈尔
Schmidt Schauß,曼弗雷德;尤努斯·库茨 与letrec和环境变量的名义统一。 (英语) Zbl 07496643号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。1256195-112(2021)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{Y.Kutz},莱克特。注释计算。科学。12561,95-112(2021;Zbl 07496643) 全文: 内政部
肯塔罗州菊池;高仁青藤 带有原子变量的标称重写系统的汇流和交换。 (英语) Zbl 07496641号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 56-73 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.菊池}和\textit{T.Aoto},莱克特。注释计算。科学。12561,56-73(2021;Zbl 07496641) 全文: 内政部
何塞·梅塞盖尔 莫德的符号计算:一些小吃。 (英语) Zbl 07496639号 Fernández,Maribel(编辑),基于逻辑的程序合成和转换。第30届国际研讨会,2020年LOPSTR,意大利博洛尼亚,2020年9月7日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12561, 3-36 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},莱克特。注释计算。科学。12561,3--36(2021;Zbl 07496639) 全文: 内政部
毛里西奥·阿亚拉·林科恩;华盛顿De Carvalho-Segundo;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 用受保护的变量将标称C统一形式化。 (英语) Zbl 1495.68109号 数学。结构。计算。科学。 31,3号,286-311(2021).MSC公司:2012年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,《数学》。结构。计算。科学。31,第3号,286--311(2021;Zbl 1495.68109) 全文: 内政部
阿克西,S。;查克拉波蒂,苏普拉特克;舒巴姆·戈尔;苏米思·库拉尔;谢塔尔·沙阿 布尔函数综合:硬度和实用算法。 (英语) Zbl 1519.68128号 形式方法系统。设计。 57,编号1,53-86(2021).MSC公司:60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《形式方法系统》。设计。57,编号1,53--86(2021;Zbl 1519.68128) 全文: 内政部
卡瑟尔·凯特琳;亨宁费尔瑙;塞尔盖·加斯佩斯;本杰明·格拉斯;马库斯·施密德。 关于固定字母表上最小语法问题的复杂性。 (英语) Zbl 1464.68100号 理论计算。系统。 65,编号2,344-409(2021).MSC公司:68页30 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Casel}等人,《理论计算》。系统。65,编号2,344--409(2021;Zbl 1464.68100) 全文: 内政部
亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;乌韦州瓦尔德曼 无λ高阶逻辑的叠加。 (英语) Zbl 07350767号 日志。方法计算。科学。 17,第2号,第1号文件,第38页(2021).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,《日志》。方法计算。科学。17,第2号,第1号论文,38页(2021;Zbl 07350767) 全文: arXiv公司 链接
马库斯·洛伊;塞巴斯蒂安·马内斯 常规树语言的最大公共前缀。 (英语) Zbl 1477.68158号 J.计算。系统。科学。 115, 235-245 (2021). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}和\textit{S.Maneth},J.Compute。系统。科学。115235-245(2021年;Zbl 1477.68158) 全文: 内政部
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;丹尼尔·南特斯·索布里尼奥 一种经过认证的泛函标称C-统一算法。 (英语) Zbl 1502.68145号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042123-138(2020年)。MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Lect。注释计算。科学。12042、123--138(2020;Zbl 1502.68145) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 通过并发Haskell的MVar在pi-calculus中正确实现同步消息传递。 (英语) Zbl 07453965号 Dardha,Ornela(ed.)等人,第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录,EXPRESS/SOS 2020,在线,2020年8月31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32288-105(2020年)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt Schauß}和\textit{D.Sabel},电子。程序。西奥。计算。科学。(EPTCS)32288--105(2020;Zbl 07453965) 全文: arXiv公司 链接
法沙德·巴迪 描述逻辑中的偶然世界描述。 (英语) Zbl 1478.68340号 日志。日志。菲洛斯。 29,第1期,115-141(2020年).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Badie},日志。日志。菲洛斯。29,第1号,115--141(2020;Zbl 1478.68340) 全文: 内政部
玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 有序同胚嵌入结合性和/或交换性公理的模组合。 (英语) Zbl 1497.68235号 芬丹。通知。 177,编号3-4,297-329(2020).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{M.Alpuente}等人,Fundam。通知。177,编号3--4,297--329(2020;Zbl 1497.68235) 全文: 内政部 arXiv公司
大卫·M·塞尔纳。 反统一与半环理论。 (英语) Zbl 1464.68138号 西奥。计算。科学。 848, 133-139 (2020).MSC公司:2012年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \文本{D.M.Cerna},Theor。计算。科学。848133-139(2020年;Zbl 1464.68138) 全文: 内政部
尤努斯·库茨;Schmidt Schauß,曼弗雷德 用广义名词统一重写。 (英语) Zbl 1495.68115号 数学。结构。计算。科学。 30,第6号,710-735(2020).MSC公司:2012年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kutz}和\textit{M.Schmidt-Schauß},数学。结构。计算。科学。30,第6号,710--735(2020;Zbl 1495.68115) 全文: 内政部
塞尔达,埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 (英语) 兹比尔1495.68113 数学。结构。计算。科学。 30,第6号,683-709(2020).MSC公司:2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,《数学》。结构。计算。科学。30,第6号,683--709(2020;Zbl 1495.68113) 全文: 内政部
阿杰·库马尔·埃拉拉;克里斯托弗·林奇 有边界的ACh统一。 (英语) Zbl 1495.68111号 数学。结构。计算。科学。 30,第6号,664-682(2020).MSC公司:2012年第68季度 03B35型 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Eeralla}和\textit{C.Lynch},数学。结构。计算。科学。30,编号:664-682(2020;兹bl 1495.68111) 全文: 内政部 arXiv公司
扬切夫,M。 \(\mathcal{ALCQPI}_{R^+}:表达性描述逻辑中的合理分级,具有逆向和传递角色和计数。 (英语) Zbl 1492.68125号 Lobachevskii J.数学。 41,第9期,1726-1746(2020).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Yanchev},Lobachevskii J.数学。41,第9号,1726-1746(2020;Zbl 1492.68125) 全文: 内政部
安德鲁·克洛珀;索菲·托雷特 元规则的逻辑简化。 (英语) Zbl 1518.68038号 机器。学习。 109,第7期,1323-1369(2020).MSC公司:68N17号 68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cropper}和\textit{S.Touret},马赫。学习。109,编号7,1323---1369(2020;Zbl 1518.68038) 全文: 内政部 arXiv公司
塞巴斯蒂安·马内斯;费边·佩特内克 有界秩的文法压缩图的常延迟遍历。 (英语) Zbl 1446.68044号 Inf.计算。 273,文章ID 104520,19 p.(2020).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Maneth}和\textit{F.Peternek},Inf.Compute。273,文章ID 104520,19 p.(2020;Zbl 1446.68044) 全文: 内政部 arXiv公司
阿德里亚·加斯科恩;马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷;库尔特·西伯 基于语法的未分类树压缩。 (英语) Zbl 1434.68129号 理论计算。系统。 64,编号141-176(2020).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,《理论计算》。系统。64,第1号,141--176(2020;Zbl 1434.68129) 全文: 内政部 arXiv公司
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 (英语) Zbl 1528.68152号 日志。方法计算。科学。 16,第1号,第19号论文,36页(2020年).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala Rincón}等人,日志。方法计算。科学。16,第1号,第19号文件,第36页(2020;兹bl 1528.68152) 全文: arXiv公司
Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。代数。方法计划。 110,文章ID 100501,36 p.(2020).MSC公司:68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。代数。方法计划。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部
贝尼亚米·阿卡托利 重新审视\(\lambda \)-演算。 (英语) Zbl 1528.68054号 Geuvers,Herman(编辑),第四届计算和推导形式结构国际会议,FSCD 2019,德国多特蒙德,2019年6月24日至30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第1条,第20页(2019年)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli},LIPIcs——莱布尼茨国际程序。通知。131,第1条,第20页(2019年;Zbl 1528.68054) 全文: 内政部
斯坦尼斯拉夫·基科特;阿吉·库鲁茨;田中,吉知藤;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 带算子的满足半格上严格正模态逻辑的Kripke完备性。 (英语) Zbl 1444.03063号 J.塞姆。日志。 84,第2期,533-588(2019). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B45号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kikot}等人,J.Symb。日志。84,第2号,533--588(2019;Zbl 1444.03063) 全文: 内政部 arXiv公司 链接
艾哈迈德·巴亚特;贾尔斯·里格尔 受限组合统一。 (英语) Zbl 07178970号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 74-93 (2019).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bhayat}和\textit{G.Reger},Lect。注释计算。科学。11716、74-93(2019年;Zbl 07178970) 全文: 内政部 链接
毛里西奥·阿亚拉·林科恩;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 通过与受保护变量的统一实现标称C匹配的形式化。 (英语) Zbl 1433.68186号 Accattoli,Beniamino(编辑)等人,《逻辑和语义框架与应用第13次研讨会论文集》,LSFA 18,巴西福塔莱萨,2018年9月26日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。344, 47-65 (2019).MSC公司:2012年第68季度 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,《电子》。注释Theor。计算。科学。344,47-65(2019年;Zbl 1433.68186) 全文: 内政部
陶,贾 非循环认知DL(mathcal)的PSpace算法{自动高度控制}5_m\). (英语) Zbl 1468.68217号 J.自动化。推理 63,第3期,539-555(2019).MSC公司:68T27型 03B42型 68立方英尺 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao},J.Autom。推理63,No.3,539--555(2019;Zbl 1468.68217) 全文: 内政部
毛里西奥·阿亚拉·林科恩;华盛顿州,de Carvalho-Segundo;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥;罗查·奥利维拉,安娜·克里斯蒂娜 与A、C和AC函数符号的标称(α)等价的形式化。 (英语) Zbl 1423.68405号 西奥。计算。科学。 781, 3-23 (2019).MSC公司:68吨15 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。781,3--23(2019年;Zbl 1423.68405) 全文: 内政部 链接
Schmidt Schauß,曼弗雷德;大卫·萨贝尔;尤努斯·库茨。 原子变量的名义统一。 (英语) Zbl 1395.68096号 J.塞姆。计算。 90, 42-64 (2019).MSC公司:68号30 2017年第68季度 65年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,J.Symb。计算。90、42-64(2019年;Zbl 1395.68096) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 原子和上下文变量的名义统一。 (英语) Zbl 1462.68026号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第28条,第20页(2018年)。MSC公司:68甲18 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},LIPIcs——莱布尼茨国际程序。通知。108,第28条,第20页(2018;Zbl 1462.68026) 全文: 内政部
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 名义方程统一的定点约束。 (英语) Zbl 1462.68089号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第7条,第16页(2018年)。MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,LIPIcs——莱布尼茨国际程序。通知。108,第7条,第16页(2018;Zbl 1462.68089) 全文: 内政部
Schmidt Schauß,曼弗雷德 压缩项的线性模式匹配和多项式重写。 (英语) 兹比尔1398.68283 数学。结构。计算。科学。 第8期第28期第1415-1450页(2018年).MSC公司:2012年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß},数学。结构。计算。科学。28,第8号,1415--1450(2018;Zbl 1398.68283) 全文: 内政部
萨尔瓦多卢卡斯;劳尔·古铁雷斯 有序一阶理论逻辑模型的自动综合。 (英语) Zbl 1398.68095号 J.自动化。推理 60,第4期,465-501(2018).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{R.Gutiérrez},J.Autom。推理60,No.4,465--501(2018;Zbl 1398.68095) 全文: 内政部 链接
马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷 语法压缩树的恒定时间树遍历和子树相等性检查。 (英语) Zbl 1392.68185号 算法 80,第7号,2082-2105(2018).MSC公司:68页30 68第05页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,Algorithmica 80,No.7,2082--2105(2018;Zbl 1392.68185) 全文: 内政部
戴维·巴恩斯;Cremers,卡斯;凯瑟琳·梅多斯 模型检查安全协议。 (英语) Zbl 1392.68228号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。727-762 (2018).MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,in:模型检查手册。查姆:斯普林格。727--762(2018;Zbl 1392.68228) 全文: 内政部
约斯特·恩格尔弗里特;安德烈亚斯·马莱蒂;塞巴斯蒂安·马内斯 多重无上下文树语法:词汇化和特征化。 (英语) Zbl 1395.68163号 西奥。计算。科学。 728, 29-99 (2018).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,Theor。计算。科学。728,29-99(2018;Zbl 1395.68163) 全文: 内政部 arXiv公司
托法、哈泽姆;马丁·齐默尔曼 线性时间时序逻辑计数模型的复杂性。 (英语) Zbl 1390.68441号 Acta信息。 55,第3期,191-212(2018).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Torfah}和\textit{M.Zimmermann},《学报》第55期,第3期,191--212(2018年;Zbl 1390.68441) 全文: 内政部 链接
摩西·加纳迪;哈克,丹尼;马库斯·洛伊;不,埃里克 使用字符串语法的树压缩。 (英语) Zbl 1384.68016号 算法 80,第3期,885-917(2018).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,Algorithmica 80,No.3,885--917(2018;Zbl 1384.68016) 全文: 内政部 arXiv公司
阿克西,S。;查克拉波蒂,苏普拉特克;John,Ajith K。;沙阿,谢塔尔 走向并行布尔函数综合。 (英语) Zbl 1452.68112号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 337-353 (2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Lect。注释计算。科学。10205、337--353(2017;Zbl 1452.68112) 全文: 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;德米特里·特拉泰尔 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 (英语) Zbl 1434.03025号 Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3-9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第11条,第18页(2017年)。MSC公司:03B35型 03年2月25日 2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,LIPIcs——莱布尼茨国际程序。通知。84,第11条,第18页(2017年;Zbl 1434.03025) 全文: 内政部
何塞·梅塞盖尔 条件重写模公理的严格一致性。 (英语) Zbl 1386.68080号 西奥。计算。科学。 672, 1-35 (2017).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},Theor(西奥)。计算。科学。672,1--35(2017;Zbl 1386.68080) 全文: 内政部
摩西·加纳迪;哈克,丹尼;杰·阿图尔;马库斯·洛伊;不,埃里克 为公式构造小树文法和小电路。 (英语) Zbl 1370.68061号 J.计算。系统。科学。 86, 136-158 (2017).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人,J.Compute。系统。科学。86、136--158(2017年;Zbl 1370.68061) 全文: 内政部 arXiv公司 链接
帕特里克·埃克隆德 多值关系的语法。 (英语) Zbl 1455.68195号 Carvalho,Joao Paulo(编辑)等人,知识系统中不确定性的信息处理和管理。第16届国际会议,2016年IPMU,荷兰埃因霍温,2016年6月20日至24日。诉讼程序。第二部分。查姆:斯普林格。Commun公司。计算。信息科学。611, 61-68 (2016).MSC公司:68T27型 03B40型 03G30型 18个B05 18立方厘米20 18日第15天 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Eklund},Commun(公共)。计算。信息科学。611、61-68(2016年;Zbl 1455.68195) 全文: 内政部
彼得·萨博;约格·西克曼;迈克尔·霍切 什么是本质上的统一? (英语) Zbl 1439.68022号 Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:斯普林格。Outst公司。控制日志。10, 285-314 (2016).MSC公司:68T27型 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Szabo}等人,Outst。控制日志。10、285--314(2016;Zbl 1439.68022) 全文: 内政部
拉斐尔·佩尼亚洛扎;尼科·波提卡 描述逻辑(mathcal{ALCP})中基于最大熵原理的概率推理。 (英语) Zbl 1366.68293号 Schockaert,Steven(编辑)等,可扩展不确定性管理。第十届国际会议,SUM 2016,法国尼斯,2016年9月21-23日。诉讼程序。查姆:施普林格(ISBN 978-3-319-45855-7/pbk;978-3-3169-45856-4/电子书)。计算机科学课程讲稿9858。人工智能课堂讲稿,246-259(2016)。MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{R.Peñaloza}和\textit{N.Potyka},莱克特。注释计算。科学。9858、246——259(2016年;Zbl 1366.68293) 全文: 内政部 arXiv公司
玛丽亚姆·贝里亚什维利;Besik Dundua 序列和上下文上的表达式的约束求解器。 (英语) Zbl 1353.68248号 Nguyen,Thanh Binh(编辑)等人,《知识工程的高级计算方法》。第四届计算机科学、应用数学和应用国际会议论文集,2016年5月2日至3日,奥地利维也纳。Cham:Springer(ISBN 978-3-319-38883-0/pbk;978-3-3169-38884-7/ebook)。《智能系统与计算进展》453115-127(2016)。MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Beriashvili}和\textit{B.Dundua},高级情报。系统。计算。453115--127(2016;Zbl 1353.68248) 全文: 内政部
杰·阿图尔;马库斯·洛伊 最小线性树文法的近似。 (英语) Zbl 1353.68154号 Inf.计算。 251, 215-251 (2016).MSC公司:2012年第68季度 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{M.Lohrey},Inf.Compute。251、215——251(2016年;Zbl 1353.68154) 全文: 内政部
何塞·梅塞盖尔 有序重写和同余闭包。 (英语) Zbl 1475.68142号 Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 493-509 (2016).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},莱克特。注释计算。科学。9634,493--509(2016;Zbl 1475.68142) 全文: 内政部
大卫·萨贝尔;Schmidt Schauß,曼弗雷德 观察pi-calculus的成功。 (英语) Zbl 1428.68206号 Chiba,Yuki(编辑)等人,2015年7月2日于波兰华沙举行的第二届程序转换和评估改写技术国际研讨会,WPTE'15。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 31-46 (2015).MSC公司:68问题85 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schauß},OASIcs--OpenAccess Ser。通知。46、31-46(2015年;Zbl 1428.68206) 全文: 内政部
塞尔达,埃尔巴图尔;卡普尔,迪帕克;安德鲁·马歇尔。;巴利亚特·纳伦德兰;克里斯托夫·林盖森 句法理论层次组合中的统一与匹配。 (英语) Zbl 1471.68108号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 291-306 (2015).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,Lect。注释计算。科学。9322、291--306(2015;Zbl 1471.68108) 全文: 内政部 哈尔
斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 无限值哥德尔语义下表达描述逻辑中的推理。 (英语) Zbl 1471.68268号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 49-65 (2015).MSC公司:68T27型 03B52号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgwardt}和\textit{R.Peñaloza},莱克特。注释计算。科学。9322,49-65(2015;Zbl 1471.68268) 全文: 内政部
米雷尔·布斯克特·梅卢;马库斯·洛伊;塞巴斯蒂安·马内斯;不,埃里克 通过有向非循环图进行XML压缩。 (英语) 兹比尔1352.68079 理论计算。系统。 57,第4期,1322-1371(2015).MSC公司:第68页,共15页 05C20号 68第05页 68页30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bousquet-Mélou}等人,理论计算。系统。57,第4号,1322--1371(2015;Zbl 1352.68079) 全文: 内政部 arXiv公司 链接
法兰克·德雷维斯;约斯特·恩格尔弗里特 授权网络的生成能力。 (英语) 兹比尔1337.68152 Inf.计算。 245213-258(2015年). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 2012年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}和\textit{J.Engelfriet},Inf.Compute。245213-258(2015;Zbl 1337.68152) 全文: 内政部
托梅尔·利巴尔 二阶统一中的正则模式。 (英语) Zbl 1465.03054号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 557-571 (2015).MSC公司:03B35型 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{T.Libal},莱克特。注释计算。科学。9195、557--571(2015;Zbl 1465.03054) 全文: 内政部
塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔 系统描述:E.T.0.1。 (英语) Zbl 1465.68286号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 389-398 (2015).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}等人,莱克特。注释计算。科学。9195,389——398(2015年;兹比尔1465.68286) 全文: 内政部
穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特 无量词方程逻辑和素数蕴涵生成。 (英语) Zbl 1465.68280号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 311-325 (2015).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Echenim}等人,Lect。注释计算。科学。9195、311--325(2015;Zbl 1465.68280) 全文: 内政部
马库斯·洛伊 基于语法的树压缩。 (英语) Zbl 1434.68130号 Potapov,Igor(编辑),语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9168, 46-57 (2015).MSC公司:68第05页 68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey},莱克特。注释计算。科学。9168、46-57(2015年;Zbl 1434.68130) 全文: 内政部 链接
马库斯·洛伊;塞巴斯蒂安·马内斯;费边·佩特内克 压缩树标准化。 (英语) 兹比尔1440.68148 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 337-349 (2015).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,Lect。注释计算。科学。9135337--349(2015;Zbl 1440.68148) 全文: 内政部 arXiv公司
马库斯·洛伊 压缩字符串的相等性测试。 (英语) Zbl 1375.68233号 Manea,Florin(编辑)等,《单词组合学》。2015年9月14日至17日在德国基尔举行的第十届国际会议,WORDS 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-23659-9/pbk;978-3-3169-23660-5/电子书)。计算机科学课程讲稿9304,14-26(2015)。MSC公司:68瓦32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey},莱克特。注释计算。科学。9304,14-26(2015;Zbl 1375.68233) 全文: 内政部
陶,贾;乔拉·斯卢茨基;瓦桑特·霍纳瓦尔 知识库中保密推理的概念框架。 (英语) Zbl 1354.68259号 ACM事务处理。计算。日志。 16,第1号,第3条,32页(2015年).MSC公司:68T27型 68立方英尺 68层35 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,ACM Trans。计算。日志。16,第1号,第3条,32页(2015年;Zbl 1354.68259) 全文: 内政部
Chang,Shan(掸邦);卢,李;刘晓强;宋慧;姚青松 RFID协议安全基准测试的漏洞感知图。 (英语) Zbl 1328.68023号 J.计算。系统。科学。 81,第6期,1027-1041(2015).MSC公司:68个M12 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chang}等人,J.Compute。系统。科学。81,No.6,1027--1041(2015;Zbl 1328.68023) 全文: 内政部
弗兰兹·巴德;斯特凡·博格沃德;拉斐尔·佩尼亚洛扎 关于具有一般概念包含的模糊(mathcal{A}\mathcal{L}\mathcal{C}\)的可判定状态。 (英语) Zbl 1318.03034号 J.菲洛斯。日志。 44,编号2117-146(2015).MSC公司:03B52号 68T27型 03年2月25日 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}等人,J.Philos。日志。44,第2号,117--146(2015;Zbl 1318.03034) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔;约阿希姆·尼伦;施温哈默(Jan Schwinghammer) 观察程序计算和翻译的正确性。 (英语) Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Theor。计算。科学。577、98——124(2015年;Zbl 1309.68052) 全文: 内政部
特穆尔库西亚;马林·米尔恰 正则表达式顺序排序的统一和匹配。 (英语) Zbl 1456.68073号 J.塞姆。计算。 67, 42-67 (2015).MSC公司:2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}和\textit{M.Marin},J.Symb。计算。67、42-67(2015年;Zbl 1456.68073) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔 call-by-nead和call-by-name多态型结石的上下文等效性(初步报告)。 (英语) Zbl 1428.68113号 Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 63-74 (2014).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},OASIcs--开放存取服务。通知。40、63-74(2014年;Zbl 1428.68113) 全文: 内政部
大卫·萨贝尔 像素中的结构重写。 (英语) Zbl 1428.68205号 Schmidt-Schauß,Manfred(ed.)等人,《程序转换和评估重写技术第一次国际研讨会》,WPTE'14,奥地利维也纳,2014年7月13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 51-62 (2014).MSC公司:68问题85 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel},OASIcs——OpenAccess系列。通知。40、51-62(2014年;Zbl 1428.68205) 全文: 内政部
帕特里克·埃克隆德;加兰,M·安格尔;罗伯特·赫尔格森;贾里·科尔特莱宁 模糊术语。 (英语) Zbl 1334.03022号 模糊集系统。 256, 211-235 (2014).MSC公司:03B52号 07年6月 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Eklund}等人,《模糊集系统》。256211-235(2014年;Zbl 1334.03022) 全文: 内政部
弗兰兹·巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 (英语) Zbl 1310.68140号 J.应用。日志。 12,第4号,584-613(2014).MSC公司:60年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann},J.应用。日志。12,第4号,584--613(2014;Zbl 1310.68140) 全文: 内政部
刘志强;克里斯托弗·林奇 高效的通用AGH统一。 (英语) Zbl 1360.94321号 Inf.计算。 238128-156(2014).MSC公司:94A60型 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Liu}和\textit{C.Lynch},Inf.Comput。238128--156(2014年;Zbl 1360.94321) 全文: 内政部
徐赞生;邱恩·荣·廖;王大伟 隐私保护社交网络发布的逻辑框架。 (英语) Zbl 1328.91263号 J.应用。日志。 12,第2期,151-174(2014).MSC公司:91天30分 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.-s.Hsu}等人,J.Appl。日志。12,第2号,151--174(2014;Zbl 1328.91263) 全文: 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 一种模序分类方程泛化算法。 (英语) Zbl 1314.68169号 Inf.计算。 235,98-136(2014). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《Inf.Compute》。235、98——136(2014;Zbl 1314.68169) 全文: 内政部
阿恩·迈尔;托马斯·施耐德 描述逻辑的广义可满足性。 (英语) Zbl 1301.68222号 西奥。计算。科学。 505, 55-73 (2013).MSC公司:68T27型 03B42型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}和\textit{T.Schneider},Theor。计算。科学。5055-73(2013;Zbl 1301.68222) 全文: 内政部
大卫·萨贝尔;Schmidt Schauß,曼弗雷德 允许部分函数的严格函数程序属性的二值逻辑。 (英语) 兹比尔1267.68088 J.自动化。推理 50,第4期,383-421(2013).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{M.Schmidt-Schau},J.Autom。推理50,No.4,383--421(2013;Zbl 1267.68088) 全文: 内政部
Chang、Liang;石忠志;顾天龙;赵玲忠 用于表示和推理动作的一系列动态描述逻辑。 (英语) Zbl 1276.68142号 J.自动化。推理 49,第1期,1-52页(2012).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Chang}等人,J.Autom。推理49,No.1,1-52(2012;Zbl 1276.68142) 全文: 内政部
陶,贾;乔拉·斯卢茨基;瓦桑特·霍纳瓦尔 秒步伐非循环模型化的tableau算法({mathcal{ALC}})。 (英语) Zbl 1291.68387号 J.自动化。推理 49,第4期,551-582(2012).MSC公司:68T27型 03B42型 03B35型 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Tao}等人,J.Autom。推理49,No.4,551--582(2012;Zbl 1291.68387) 全文: 内政部
伯恩哈德·格拉姆利希 重新审视术语重写中的模块性。 (英语) 兹比尔1253.68196 西奥。计算。科学。 464, 3-19 (2012).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Gramlich},Theor。计算。科学。464,3--19(2012;Zbl 1253.68196) 全文: 内政部
玛丽·劳雷·穆格尼尔;吉纳维耶夫·西蒙内;米夏·托马佐 论具有原子否定的存在合取一阶逻辑中蕴涵的复杂性。 (英语) Zbl 1251.03071号 Inf.计算。 215, 8-31 (2012).MSC公司:20层03 03B20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-L.Mugnier}等人,《信息计算》。215、8--31(2012;Zbl 1251.03071) 全文: 内政部
费尔南多·博比洛;翁贝托·斯特拉契亚 广义模糊粗糙描述逻辑。 (英语) Zbl 1247.68264号 信息科学。 189, 43-62 (2012).MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{F.Bobillo}和\textit{U.Straccia},信息科学。189、43-62(2012;Zbl 1247.68264) 全文: 内政部
马库斯·洛伊;塞巴斯蒂安·马内斯;Schmidt Schauß,曼弗雷德 语法压缩树的参数约简和自动机求值。 (英语) Zbl 1246.68114号 J.计算。系统。科学。 78,第5期,1651-1669(2012).MSC公司:68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey}等人,J.Compute。系统。科学。78,第5号,1651--1669(2012;Zbl 1246.68114) 全文: 内政部
奥托普,简 \(E)-常数统一与一般(E)统一。 (英语) Zbl 1260.03019号 J.自动化。推理 48,第3期,363-390(2012).MSC公司:03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Otop}、J.Autom。推理48,No.3,363--390(2012;Zbl 1260.03019) 全文: 内政部
Schmidt Schauß,曼弗雷德;乔治·施尼特 直线压缩管柱的快速相等测试。 (英语) Zbl 1243.68324号 Inf.流程。莱特。 112,编号8-9,341-345(2012).MSC公司:68瓦20 68页30 2012年第68季度 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{G.Schnitger},Inf.过程。莱特。112、第8--9、341--345号(2012;Zbl 1243.68324) 全文: 内政部
维罗尼克·科尔蒂尔;斯特凡尼德劳恩 安全协议中两个知识概念的可决定性和组合结果。 (英语) Zbl 1242.68099号 J.自动化。推理 48,第4期,441-487(2012).MSC公司:68第25页 03B70号 68个M12 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune},J.Autom。推理48,No.4,441--487(2012;Zbl 1242.68099) 全文: 内政部
卢多维奇·亨利奥;弗洛里安·卡姆米勒;比安卡·卢茨 ASP\(_{\text{fun}}\):一种类型化的函数活动对象演算。 (英语) Zbl 1242.68053号 科学。计算。程序。 77,编号7-8,823-847(2012).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Henrio}等人,科学。计算。程序。77,编号7--8823--847(2012;Zbl 1242.68053) 全文: 内政部
李瑞轩;文昆梅;顾锡武;李玉华;孙晓林;李冰 2类模糊描述逻辑。 (英语) Zbl 1267.68236号 前面。计算。科学。中国 5,第2期,205-215(2011).MSC公司:68层37 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Li}等人,前面。计算。科学。中国5,No.2,205--215(2011;Zbl 1267.68236) 全文: 内政部
Schmidt Schauß,曼弗雷德;大卫·萨贝尔;埃琳娜·马奇卡索娃 使用letrec对非确定性call-by-need lambda-calculi中的应用模拟和扩展性进行反例。 (英语) Zbl 1260.68075号 Inf.流程。莱特。 111,第14号,711-716(2011).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,《Inf.过程》。莱特。111,第14号,711--716(2011;Zbl 1260.68075) 全文: 内政部
姜云成;唐勇;陈启迈;曹展茂 冲突下多个软集的语义操作。 (英语) 兹比尔1231.03045 计算。数学。申请。 62,第4期,1923-1939(2011).MSC公司:03E72型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jiang}等人,计算。数学。申请。62,第4期,1923--1939(2011;Zbl 1231.03045) 全文: 内政部
托马斯·布雷班特;Damien Pous Coq中模AC的推理策略。 (英语) Zbl 1350.68227号 Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,167-182(2011)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Braibant}和\textit{D.Pous},莱克特。注释计算。科学。7086、167--182(2011年;Zbl 1350.68227) 全文: 内政部 arXiv公司
曼弗雷德·施密特·肖斯;大卫·萨贝尔;阿尼斯,阿尔图 多项式时间内压缩项的同余闭包。 (英语) Zbl 1348.68085号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,227-242(2011)。MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人,Lect。注释计算。科学。6989、227--242(2011;Zbl 1348.68085) 全文: 内政部