埃德加·安德拉德 解释西班牙语语义某些方面的逻辑语法。 (西班牙语。英文摘要) Zbl 1524.03027号 波尔。材料(N.S.) 20,第1期,21-50(2013).MSC公司:03B65号 91层20 PDF格式BibTeX公司 XML格式引用 \textit{E.Andrade},波尔。材料(N.S.)20,编号1,21--50(2013;Zbl 1524.03027) 全文: 链接
潘晓东;孟丹;徐,杨 有限格值命题逻辑的句法理论。 (英语) Zbl 1488.03003号 科学。中国,信息科学。 56,第8号,文章ID 082112,12 p.(2013).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{X.Pan}等人,科学。中国,信息科学。56,第8号,文章ID 082112,12 p.(2013;Zbl 1488.03003) 全文: 内政部
达州康;徐宝文;李彦辉 基于隶属度比较的SHOIQ模糊扩展。 (英语) Zbl 1488.68090号 科学。中国,信息科学。 56,第8号,文章ID 082111,第11页(2013).MSC公司:68T27型 03B52号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Kang}等人,科学。中国,信息科学。56,第8号,文章ID 082111,11 p.(2013;Zbl 1488.68090) 全文: 内政部
蒋东晨;娄以华;金、易;罗杰;李伟 一种基于典型模型的最大收缩算法。 (英语) Zbl 1488.68089号 科学。中国,信息科学。 56,第1号,文章ID 012101,第13页(2013).MSC公司:68T27型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Jiang}等人,科学。中国,信息科学。56,第1号,文章ID 012101,13 p.(2013;Zbl 1488.68089) 全文: 内政部
伊利克、丹科 1级移位和重置的类型指导部分评估。 (英语) Zbl 1471.68066号 de'Ligoro,Ugo(ed.)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)12786-100(2013)。MSC公司:68号30 03B38型 03B70号 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Ilik},电子。程序。西奥。计算。科学。(EPTCS)127,86--100(2013;Zbl 1471.68066) 全文: arXiv公司 链接
哈雷·伊德斯;阿伦·斯塔姆 (lambda\Delta)演算的遗传替换。 (英语) Zbl 1471.03023号 de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,45-65(2013)。MSC公司:03B40型 03B38型 03B70号 05年3月 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Eades}和\textit{A.Stump},电子。程序。西奥。计算。科学。(EPTCS)127、45--65(2013;Zbl 1471.03023) 全文: arXiv公司 链接
马·戈扎塔·比尔纳卡;Dariusz Biernacki;塞尔盖·伦格利特;马雷克·马特佐克 用控制运算符证明系统F的评估终止。 (英语) Zbl 1471.68055号 de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,15-29(2013)。MSC公司:68号30 03B40型 03B70号 03楼52 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Biernacka}等人,《电子》。程序。西奥。计算。科学。(EPTCS)127,15--29(2013;Zbl 1471.68055) 全文: arXiv公司 链接
费德里科·阿西埃里 通过非确定性选择实现HA+EM1的强归一化。 (英语) Zbl 1471.68052号 de’Liguoro,Ugo(编辑)等人,《控制算子及其语义第一次研讨会论文集》,COS 2013,荷兰埃因霍温,2013年6月24日至25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)127,1-14(2013)。MSC公司:68号30 03B40型 03B70号 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri},电子。程序。西奥。计算。科学。(EPTCS)127,1--14(2013;Zbl 1471.68052) 全文: arXiv公司 链接
科林·斯特林 具有模态演算名称的证明系统。 (英语) 兹伯利1464.03035 Banerjee,Anindya(编辑)等人,《语义学、抽象解释和程序推理:纪念David A.Schmidt 60岁生日的论文》,2013年9月19日至20日,美国堪萨斯州曼哈顿。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)129,18-29(2013)。MSC公司:03B70号 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{C.斯特林},电子。程序。西奥。计算。科学。(EPTCS)129,18--29(2013;Zbl 1464.03035) 全文: arXiv公司 链接
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 通过逻辑签订合同协议。 (英语) Zbl 1464.68226号 Carbone,Marco(编辑)等人,第六届交互和并发体验研讨会会议记录,ICE’13,意大利佛罗伦萨,2013年6月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)131,5-19(2013)。MSC公司:68问题85 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,《电子》。程序。西奥。计算。科学。(EPTCS)131,5--19(2013;Zbl 1464.68226) 全文: arXiv公司 链接
朱莉娅·尼诺娃;米霍娃,韦塞尔卡 具有给定逻辑结构的反问题的组合。(具有给定逻辑结构的反问题的组合。) (英语) Zbl 1488.03001号 上帝。沙发。法国大学。材料通知。 101, 167-181 (2013).MSC公司:03B30型 2004年5月5日 03B05号 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{J.Ninova}和\textit{V.Mihova},上帝。沙发。法国大学。材料通知。101167--181(2013;Zbl 1488.03001) 全文: arXiv公司 链接
大卫·安科纳;保拉·吉安尼尼;祖卡,埃琳娜 协调位置约束和名义约束。 (英语) Zbl 1464.68052号 Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,81-93(2013)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人,《电子》。程序。西奥。计算。科学。(EPTCS)121、81--93(2013;Zbl 1464.68052) 全文: arXiv公司 链接
马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;伊内斯·玛格丽亚;马达莱娜·扎基 走向交集和并集类型的同构。 (英语) Zbl 1464.03010号 Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,58-80(2013)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人,《电子》。程序。西奥。计算。科学。(EPTCS)121,58--80(2013;Zbl 1464.03010) 全文: 链接
埃里卡·德·贝内代蒂;Ronchi Della Rocca,西蒙 通过交集类型限定规范化时间。 (英语) Zbl 1464.03011号 Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,48-57(2013年)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Benedetti}和\textit{S.Ronchi Della Rocca},电子。程序。西奥。计算。科学。(EPTCS)121、48--57(2013;Zbl 1464.03011) 全文: arXiv公司 链接
鲍里斯·杜德尔;奥利弗·加贝;莫里茨·马滕斯;雅各布·雷霍夫;巴威·乌尔兹琴 在具有交集类型的有界组合逻辑中使用栖息进行合成。 (英语) Zbl 1464.68077号 Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,18-34(2013)。MSC公司:68号30 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Düdder}等人,《电子》。程序。西奥。计算。科学。(EPTCS)121,18-34(2013;Zbl 1464.68077) 全文: arXiv公司 链接
范·贝克尔,斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 强正规化\(lambda\mu\)-项的特征。 (英语) Zbl 1464.03013号 Graham-Lengrand,Stéphane(编辑)等人,《交叉口类型和相关系统第六次研讨会论文集》,克罗地亚杜布罗夫尼克,2012年6月29日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)121,1-17(2013)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}等人,《电子》。程序。西奥。计算。科学。(EPTCS)121,1--17(2013;Zbl 1464.03013) 全文: arXiv公司 链接
Mio、Matteo;亚历克斯·辛普森 Łukasiewicz \(\mu\)-微积分。 (英语) Zbl 1462.68114号 Baelde,David(编辑)等人,《第九届计算机科学不动点研讨会论文集》,意大利都灵,2013年9月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)12687-104(2013)。MSC公司:60年第68季度 03B44号 03B50号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio}和\textit{A.Simpson},电子。程序。西奥。计算。科学。(EPTCS)126,87--104(2013;Zbl 1462.68114) 全文: arXiv公司 链接
圣埃斯皮里托·何塞;拉尔夫·马修斯;路易斯·平托 证明搜索的共性方法。 (英语) Zbl 1469.03041号 Baelde,David(编辑)等人,《第九届计算机科学不动点研讨会论文集》,意大利都灵,2013年9月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)126,28-43(2013)。MSC公司:03B40型 05年3月 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}等人,《电子》。程序。西奥。计算。科学。(EPTCS)126,28-43(2013年;兹bl 1469.03041) 全文: arXiv公司 链接
维克多·舒潘 利用时间相关性信息增强LTL的不可满足核心。 (英语) Zbl 1464.68213号 Bortolussi,Luca(编辑)等人,《第十一届编程语言和系统定量方面国际研讨会论文集》,意大利罗马,2013年3月23日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)117,49-65(2013年)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},电子。程序。西奥。计算。科学。(EPTCS)117、49--65(2013;Zbl 1464.68213) 全文: 链接
黛拉·莫妮卡,达里奥;那不勒斯,玛格丽塔;帕伦特,米姆 资源短缺情景下的联盟博弈模型检验。 (英语) Zbl 1464.68199号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119240-255(2013)。MSC公司:60年第68季度 03B44号 65年第68季度 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,电子。程序。西奥。计算。科学。(EPTCS)119,240--255(2013;Zbl 1464.68199) 全文: arXiv公司 链接
弗朗索瓦·拉鲁西尼;尼古拉斯·马基 的可满足性自动变速器与战略背景。 (英语) Zbl 1464.03018号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119208-223(2013)。MSC公司:03B44号 03年2月25日 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Laroussinie}和\textit{N.Markey},电子。程序。西奥。计算。科学。(EPTCS)119208--223(2013;Zbl 1464.03018) 全文: arXiv公司 链接
Steen背心 具有有限记忆策略的交替时间时序逻辑。 (英语) Zbl 1464.68214号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119194-207(2013)。MSC公司:60年第68季度 03B44号 65年第68季度 第68季度55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Vester},电子。程序。西奥。计算。科学。(EPTCS)119194-207(2013;Zbl 1464.68214) 全文: arXiv公司 链接
纳迪亚·拉拜;约翰·马考斯基(Johann A.Makowsky)。 加权自动机和一元二阶逻辑。 (英语) Zbl 1464.03038号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119122-135(2013)。MSC公司:05年3月 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{N.Labai}和\textit{J.A.Makowsky},电子。程序。西奥。计算。科学。(EPTCS)119122--135(2013;Zbl 1464.03038) 全文: arXiv公司 链接
彼得罗·加利亚尼 团队语义中的向上闭合依赖关系。 (英语) 兹伯利1464.03031 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11993-106(2013)。MSC公司:03B60号 03B70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.加利亚尼},电子。程序。西奥。计算。科学。(EPTCS)119,93--106(2013;Zbl 1464.03031) 全文: 链接
大卫·布雷索林 改进混合系统的HyLTL模型检查。 (英语) Zbl 1464.68194号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11979-92(2013)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin},电子。程序。西奥。计算。科学。(EPTCS)119,79--92(2013;Zbl 1464.68194) 全文: arXiv公司 链接
马尔塞洛·玛丽亚·贝尔萨尼;罗西,马蒂奥;皮埃尔路易吉·圣彼得罗 确定MITL规范的可满足性。 (英语) Zbl 1464.68193号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)119,64-78(2013)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,《电子》。程序。西奥。计算。科学。(EPTCS)119、64--78(2013;Zbl 1464.68193) 全文: arXiv公司 链接
马克·雷诺兹 更快的\(\mathrm{CTL}^{\ast}\)表格。 (英语) Zbl 1464.03019号 Puppis,Gabriele(编辑)等人,第四届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2013,Borca di Cadore,Dolomites,意大利,2013年8月29日至31日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11950-63(2013年)。MSC公司:03B44号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},电子。程序。西奥。计算。科学。(EPTCS)119,50-63(2013年;兹bl 1464.03019) 全文: arXiv公司 链接
伊利亚诺·塞尔维萨托;豪尔赫·路易斯·萨奇尼 在并发逻辑框架CLF中实现元推理。 (英语) Zbl 1464.68234号 Borgström,Johannes(ed.)等人,第20届并发表达性国际研讨会和第10届结构化操作语义研讨会,阿根廷布宜诺斯艾利斯,2013年8月26日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)120,2-16(2013)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和textit{J.L.Sacchini},电子。程序。西奥。计算。科学。(EPTCS)120,2--16(2013;Zbl 1464.68234) 全文: arXiv公司 链接
保罗·A·S·维洛索。;Sheila R.M.维洛索。 谓词逻辑的图演算。 (英语) Zbl 1464.03006号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113153-168(2013)。MSC公司:03B10号机组 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}和\textit{S.R.M.Velooso},电子。程序。西奥。计算。科学。(EPTCS)113153--168(2013;Zbl 1464.03006) 全文: arXiv公司 链接
亚历杭德罗·迪亚斯·卡洛;Gilles Dowek 通过类型同构实现的非确定性。 (英语) Zbl 1464.03012号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113137-144(2013年)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Díaz-Caro}和\textit{G.Dowek},电子。程序。西奥。计算。科学。(EPTCS)113137--144(2013;Zbl 1464.03012) 全文: arXiv公司 链接
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;玛丽亚·科尔巴兰。 博克瓦尔和哈伦无意义逻辑经典片段的序贯演算。 (英语) Zbl 1464.03030号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113125-136(2013年)。MSC公司:03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}和\textit{M.I.Corbalán},电子。程序。西奥。计算。科学。(EPTCS)113、125——136(2013年;兹bl 1464.03030) 全文: arXiv公司 链接
阿尔贝托·齐法格利翁;伊万·斯卡格内托 应对POPLmark挑战的HOAS方法薄弱。 (英语) Zbl 1464.68434号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113109-124(2013)。MSC公司:68V20型 03B40型 03楼52 68甲15 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}和\textit{I.Scagnetto},电子。程序。西奥。计算。科学。(EPTCS)113109--124(2013;Zbl 1464.68434) 全文: arXiv公司 链接
阿尔贝托·卡拉罗;托马斯·埃尔哈德;安东尼奥·萨利布拉 堆栈演算。 (英语) Zbl 1464.68055号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11393-108(2013)。MSC公司:68甲18 03B40型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Carraro}等人,电子。程序。西奥。计算。科学。(EPTCS)113、93--108(2013;Zbl 1464.68055) 全文: arXiv公司 链接
阿尔贝托·卡拉罗 非类型堆栈演算和Böhm定理。 (英语) Zbl 1464.68054号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11377-92(2013)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carraro},电子。程序。西奥。计算。科学。(EPTCS)113、77--92(2013;Zbl 1464.68054) 全文: arXiv公司 链接
安东尼奥·布恰雷利;阿尔贝托·卡拉罗;安东尼诺·萨利布拉 极小(λ)-超积理论。 (英语) Zbl 1464.03009号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113、61-76(2013)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,《电子》。程序。西奥。计算。科学。(EPTCS)113、61--76(2013;Zbl 1464.03009) 全文: arXiv公司 链接
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 正规型局部稳定理论的初等演绎问题。 (英语) Zbl 1464.68038号 Kesner,Delia(编辑)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113,45-60(2013)。MSC公司:68平方米25 03年2月25日 03B70号 03C98号 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,《电子》。程序。西奥。计算。科学。(EPTCS)113、45--60(2013;Zbl 1464.68038) 全文: arXiv公司 链接
卡洛斯·阿雷塞斯;纪尧姆·霍夫曼;伊泽基尔·奥贝 模态逻辑中的对称性。 (英语) Zbl 1464.03020号 Kesner,Delia(ed.)等人,《逻辑和语义框架及其应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)113,27-44(2013)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,《电子》。程序。西奥。计算。科学。(EPTCS)113、27--44(2013;Zbl 1464.03020) 全文: 链接
巴斯蒂安·莫伯特;苏菲·平奇纳特;劳拉·博泽利 合成统一策略的复杂性。 (英语) Zbl 1464.91025号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112115-122(2013年)。MSC公司:91A43型 03B44号 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Maubert}等人,《电子》。程序。西奥。计算。科学。(EPTCS)112115-122(2013年;兹bl 1464.91025) 全文: arXiv公司 链接
赫莱内·基什内尔 关于战略的改写观点。 (英语) Zbl 1464.68142号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11299-105(2013)。MSC公司:2012年第68季度 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kirchner},电子。程序。西奥。计算。科学。(EPTCS)112,99--105(2013;Zbl 1464.68142) 全文: arXiv公司 链接
克利斯朵夫·查尔顿;朱利安·布鲁内尔;戴维·谢穆伊尔 实现可更新的战略逻辑。 (英语) Zbl 1464.68410号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11291-98(2013)。MSC公司:68T42型 03B44号 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chareton}等人,《电子》。程序。西奥。计算。科学。(EPTCS)112,91--98(2013;Zbl 1464.68410) 全文: arXiv公司 链接
Dimitar P.Guelev。 将认知ATL中的效度降低为认知CTL中的有效性。 (英语) Zbl 1464.03017号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,81-89(2013)。MSC公司:03B44号 03年2月25日 03B35型 03B42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},电子。程序。西奥。计算。科学。(EPTCS)112、81--89(2013;Zbl 1464.03017) 全文: arXiv公司 链接
西蒙·巴斯德;查尔斯·佩彻;曲洪阳;佛朗哥·雷蒙迪 部分可观测性和公平性约束下的策略推理。 (英语) Zbl 1464.68409号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)11271-79(2013)。MSC公司:68T42型 03B44号 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Busard}等人,《电子》。程序。西奥。计算。科学。(EPTCS)112、71--79(2013;Zbl 1464.68409) 全文: arXiv公司 链接
特鲁尔斯佩德森;Sjur Dyrkolboton公司;彼得·卡·米尔扎克;埃里克·帕尔曼 具有角色的并发游戏结构。 (英语) Zbl 1464.68256号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)第112、61-69页(2013年)。MSC公司:68问题85 03B44号 68米18 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Pedersen}等人,《电子》。程序。西奥。计算。科学。(EPTCS)112、61--69(2013;Zbl 1464.68256) 全文: arXiv公司 链接
牛,尼尔斯;瓦伦丁·戈兰科 如何既富有又快乐:关于多层游戏的定量和定性战略推理相结合(扩展抽象)。 (英语) Zbl 1464.68408号 Mogavero,Fabio(编辑)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,33-41(2013年)。MSC公司:68T42型 03B44号 91A06型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{V.Goranko},电子。程序。西奥。计算。科学。(EPTCS)112、33-41(2013;Zbl 1464.68408) 全文: arXiv公司 链接
克里斯汀·哈杰斯;帕维尔·瑙莫夫 战略博弈中的功能依赖(扩展抽象)。 (英语) Zbl 1464.91007号 Mogavero,Fabio(ed.)等人,《第一届战略推理国际研讨会论文集》,意大利罗马,2013年3月16日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)112,9-15(2013)。MSC公司:91A10号 03B80号 91A06型 PDF格式BibTeX公司 XML格式引用 \textit{K.Harjes}和\textit{P.Naumov},电子。程序。西奥。计算。科学。(EPTCS)112,9--15(2013;Zbl 1464.91007) 全文: arXiv公司 链接
克莱门斯,抓斗手;简·罗切尔 循环\(\lambda\)-项的术语图表示。 (英语) Zbl 1464.68058号 Echahed,Rachid(编辑)等人,《第七届术语和图形计算国际研讨会论文集》,TERMGRAPH 2013,意大利罗马,2013年3月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)110,56-73(2013)。MSC公司:68甲18 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.抓地者}和\textit{J.罗谢尔},电子。程序。西奥。计算。科学。(EPTCS)110,56--73(2013;Zbl 1464.68058) 全文: arXiv公司 链接
贝尼亚米·阿卡托利 将功能作为过程进行评估。 (英语) Zbl 1464.68219号 Echahed,Rachid(编辑)等人,《第七届术语和图形计算国际研讨会论文集》,TERMGRAPH 2013,意大利罗马,2013年3月23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)110,41-55(2013)。MSC公司:68问题85 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli},电子。程序。西奥。计算。科学。(EPTCS)110,41-55(2013;Zbl 1464.68219) 全文: arXiv公司 链接
亚历山德拉·N·卢坎楚克。 线性时间和知识的多模态逻辑LTK的可判定性。 (英语) Zbl 1522.03055号 J.西布。联邦大学数学系。物理学。 6,第2期,220-226(2013).MSC公司:03B45号 03B42型 03B44号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Lukyanchuk},J.Sib。联邦大学数学系。物理学。6,编号220-226(2013;兹bl 1522.03055) 全文: MNR公司
拉里奥诺夫·V.B。 关于(k)值拟一致函数类的超结构。 (俄语。英文摘要) Zbl 1506.03074号 普里克尔。磁盘重新启动。材料。 2013年,第3(21)号,第26-31(2013)号.MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{V.B.Larionov},普里克尔。磁盘重新启动。材料2013,编号3(21),26-31(2013;Zbl 1506.03074) 全文: MNR公司
约瑟夫·维达尔·罗塞特 关于第一哲学的直觉主义证明。(普鲁夫斯的直觉主义是一种哲学。) (法语) Zbl 1440.03034号 Lepage,François(编辑)等人,《火锅危机:平息危机?蒙特利尔:Les Cahiers d'Ithaque。149-184 (2013).MSC公司:03A05号 03B20型 03-03 01A45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Vidal-Rosset},收录于:《火锅危机:平息危机?》?。蒙特利尔:Les Cahiers d'Ithaque。149-184(2013;Zbl 1440.03034)
卡琳·弗雷德 卡纳普概率论的逻辑基础。(《概率分析逻辑》(La fondation logique des probabilityés chez Carnap) (法语) Zbl 1440.03017号 Lepage,François(编辑)等人,《火锅危机:平息危机?蒙特利尔:Les Cahiers d'Ithaque。65-84 (2013).MSC公司:03A05号 00A30型 03B30型 60级05 PDF格式BibTeX公司 XML格式引用 \textit{K.Fradet},in:《火锅危机:平息危机?》?。蒙特利尔:Les Cahiers d'Ithaque。65-84(2013年;兹bl 1440.03017)
阿莫尔·蒙塔尼奥(Amor Montaño)、何塞·阿尔弗雷多(JoséAlfredo) 逻辑和拓扑之间的关系:一个紧凑的、Hausdorff的、完全断开的空间。 (西班牙语) Zbl 1439.03031号 其他。材料。 2013年1月13日第57页.MSC公司:03B10号机组 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Amor Montaño},杂项。材料57,1-13(2013;Zbl 1439.03031) 全文: 链接
帕特里克·塞杰尔西;丹尼斯·理查德 纪念艾伦·罗伯特·伍兹。 (英语) Zbl 1432.03120号 Cégielski,Patrick(编辑)等人,《弱算术的新研究》。加州斯坦福:CSLI出版物;巴黎:巴黎高等教育出版社。CSLI法律。附注211,15-31(2013)。MSC公司:30楼03号 03年2月25日 05年11月 11N25号 03-03 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cégielsi}和\textit{D.Richard},CSLI Lect。附注211、15--31(2013;Zbl 1432.03120)
吴嘉超;袁亚艳 弱uniforms的一些例子。 (英语) Zbl 1470.03016号 文章摘要。申请。分析。 2013年,文章ID 712690,第5页(2013年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Wu}和\textit{Y.Yuan},文章摘要。申请。分析。2013年,文章ID 712690,5 p.(2013;Zbl 1470.03016) 全文: 内政部
迪莉娅·凯斯纳(编辑);维亚纳,佩特鲁西奥(编辑) 2012年9月29日至30日,巴西里约热内卢,第七届逻辑和语义框架及其应用研讨会论文集。 (英语) Zbl 1415.68033号 理论计算机科学电子论文集(EPTCS)113.滑铁卢:开放出版协会(OPA)。168页。,仅电子版,开放存取(2013年)。MSC公司:68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}(ed.)和\textit{P.Viana}(edi.),《逻辑和语义框架与应用第七次研讨会论文集》,巴西里约热内卢,2012年9月29日至30日。滑铁卢:开放出版协会(OPA)(2013;Zbl 1415.68033) 全文: 内政部 arXiv公司 链接
蒋东晨;李伟;罗杰;娄以华;廖正中 基于分解的最大收缩算法。 (英语) Zbl 1425.68393号 前面。计算。科学。 7,第6号,801-811(2013).MSC公司:68T27型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jiang}等人,前面。计算。科学。7,第6号,801--811(2013;Zbl 1425.68393) 全文: 内政部
萨瓦斯·科努尔 用于指定和验证实时系统的时序逻辑调查。 (英语) Zbl 1425.68258号 前面。计算。科学。 7,第3期,370-403(2013).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},前面。计算。科学。7,第3号,370--403(2013;Zbl 1425.68258) 全文: 内政部
罗杰 计算最大收缩的一般框架。 (英语) Zbl 1425.68396号 前面。计算。科学。 7,第1期,83-94(2013).MSC公司:68T27型 03B42型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Luo},前面。计算。科学。7,第1号,第83-94条(2013;Zbl 1425.68396) 全文: 内政部
丹尼尔·奥瑟森;斯科特·温斯坦 基于原因的偏好的模态逻辑。 (英语) Zbl 1397.03024号 Tannen,Val(ed.)等人,在计算的理论和实践中寻求优雅。专为彼得·布内曼撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-41659-0/pbk;978-3-442-41660-6/电子书)。计算机科学课堂讲稿8000,516-541(2013)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Osherson}和\textit{S.Weinstein},莱克特。注释计算。科学。8000,516--541(2013;Zbl 1397.03024) 全文: 内政部
罗纳德·雅格。 使用连接函数的Dempster-Shafer信念结构的联合累积分布函数。 (英语) Zbl 1397.91156号 模糊优化。Decis公司。制造商。 12,第4号,393-414(2013).MSC公司:91B06型 62第20页 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Yager},模糊优化。Decis公司。制造商。12,第4号,393--414(2013;Zbl 1397.91156) 全文: 内政部
奥里·拉哈夫 通过非确定性多值矩阵研究序列系统。 (英语) Zbl 1393.03049号 J.穆特-有效日志。软计算。 21,编号5-6,575-595(2013).MSC公司:03财年03 05年3月 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav},J.Mult-有效日志。软计算。21、编号5--6、575--595(2013;Zbl 1393.03049) 全文: 链接
马里亚·博里奇奇 关于逻辑系统的熵。 (英语) 兹比尔1393.03007 J.穆特-有效日志。软计算。 21,编号5-6,439-452(2013).MSC公司:03B50号 03B05号 94甲17 PDF格式BibTeX公司 XML格式引用 \文本{M.Boričić},J.Mult-有效日志。软计算。21、编号5--6、439--452(2013;Zbl 1393.03007) 全文: 链接
阿尔多·菲加洛五世。;马丁·菲加洛 (n+1)值Łukasiewicz命题演算中Moisil算子的代数构造。 (英语) Zbl 1394.06020号 J.穆特-有效日志。软计算。 21,编号1-2,131-145(2013).MSC公司:05年6月 03B50号 06时30分 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Figallo}和\textit{M.Figalo},J.Mult-有效日志。软计算。21,编号1--2,131--145(2013;Zbl 1394.06020) 全文: 链接
安德鲁·舒曼 反平面逻辑和数学。 (英语) Zbl 1393.03012号 J.穆特-有效日志。软计算。 21,编号1-2,53-88(2013).MSC公司:03B50号 03B60号 03A05号 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Schumann},J.Mult-有效日志。软计算。21、编号1--2、53-88(2013;Zbl 1393.03012) 全文: 链接
内博伊沙·伊科迪诺维奇;米奥德拉格·拉什科维奇;佐兰·马尔科维奇;佐兰·奥格尼亚诺维奇 具有广义测度运算符的逻辑。 (英语) Zbl 1393.03014号 J.穆特-有效日志。软计算。 20,编号5-6,527-555(2013).MSC公司:03B52号 03B60号 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人,J.Mult-有效日志。软计算。20、编号5--6527--555(2013;Zbl 1393.03014) 全文: 链接
安卡迪努 在连续语义中量化事件。 (英语) Zbl 1393.03019号 J.穆特-有效日志。软计算。 20,编号1-2,19-37(2013).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dinu},J.Mult-有效日志。软计算。20、编号1--2、19-37(2013;Zbl 1393.03019) 全文: 链接
埃米利亚诺·洛里尼 时态STIT逻辑及其在规范推理中的应用。 (英语) Zbl 1398.03080号 J.应用。非类别。日志。 23,第4期,372-399(2013).MSC公司:03B44号 03B42型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini},J.应用。非类别。日志。23,第4号,372--399(2013;Zbl 1398.03080) 全文: 内政部
奥利弗·弗里德曼;马丁·兰格 确定无保护模态演算。 (英语) Zbl 1398.03092号 J.应用。非类别。日志。 23,第4期,353-371(2013).MSC公司:03B45号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange},J.Appl。非类别。日志。23,第4号,353--371(2013;Zbl 1398.03092) 全文: 内政部
丘奇,D。;杜布瓦,D。 一个模态理论提供了一类不完全信息三值逻辑的翻译。 (英语) Zbl 1398.03107号 J.应用。非类别。日志。 23,第4号,321-352(2013).MSC公司:03B50号 03B45号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ciucci}和\textit{D.Dubois},J.Appl。非类别。日志。23,第4号,321--352(2013;Zbl 1398.03107) 全文: 内政部 哈尔
诺里希罗·卡米德 用无限连词表示任意时间和程序迭代。 (英语) Zbl 1398.03094号 J.应用。非类别。日志。 23,第3期,284-298(2013).MSC公司:03B45号 03C75号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.应用。非类别。日志。23、3号、284--298(2013;Zbl 1398.03094) 全文: 内政部
斯特凡诺·巴拉泰拉;安德烈亚·马西尼 捆绑分支时间逻辑的自然演绎系统。 (英语) Zbl 1398.03079号 J.应用。非类别。日志。 23,第3期,268-283(2013).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini},J.Appl。非类别。日志。23、第3号、268--283(2013;Zbl 1398.03079) 全文: 内政部
帕诺斯·朗多吉安尼;安东尼斯·特劳姆普基斯 无限值语义:概述、最新结果和未来方向。 (英语) Zbl 1400.68051号 J.应用。非类别。日志。 23,编号1-2,213-228(2013).MSC公司:68N17号 03B50号 第68季度55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}和\textit{A.Troumpoukis},J.Appl。非类别。日志。23、编号1--2、213--228(2013;Zbl 1400.68051) 全文: 内政部
大卫·皮尔斯;莱文·乌里迪亚 模态逻辑和超直觉非单调逻辑的代数语义。 (英语) Zbl 1398.03096号 J.应用。非类别。日志。 23,编号1-2,147-158(2013).MSC公司:03B45号 03B60号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{L.Uridia},J.Appl。非类别。日志。23,编号1--2,147-158(2013;Zbl 1398.03096) 全文: 内政部
新墨西哥州马亚茨基。;Odintsov,S.P。 关于次一致答案集语义的演绎基础。 (英语) Zbl 1400.68050号 J.应用。非类别。日志。 23,编号1-2131-146(2013).MSC公司:68N17号 03B53号 第68季度55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Mayatskiy}和\textit{S.P.Odintsov},J.Appl。非类别。日志。23、编号1--2、131-146(2013;Zbl 1400.68050) 全文: 内政部
何塞·朱利奥·阿尔弗雷斯;里卡多·贡萨阿尔维斯;约昂·莱特 失效规范体系的等效性。 (英语) Zbl 1400.68200号 J.应用。非类别。日志。 23,编号1-2,25-48(2013).MSC公司:68T27型 03B45号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人,J.Appl。非类别。日志。23、编号1--2、25-48(2013;Zbl 1400.68200) 全文: 内政部
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 时间均衡逻辑:一项调查。 (英语) Zbl 1400.68199号 J.应用。非类别。日志。 23,编号1-2,2-24(2013).MSC公司:68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,J.Appl。非类别。日志。23、编号1--2、2--24(2013;Zbl 1400.68199) 全文: 内政部
利利贾·阿塔纳索娃 关于经典蕴涵的直觉模糊形式。 (英语) Zbl 1387.03019号 注释IFS 第19期第4期第15-18页(2013年).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Atanassova},注释IFS 19,第4号,15--18(2013;Zbl 1387.03019) 全文: 链接
埃斯拉米、埃斯凡迪亚尔;法纳兹·加纳维齐·马罗夫 阿塔纳索夫直觉模糊逻辑的一个公理系统。 (英语) Zbl 1387.03021号 注释IFS 19,第4期,1-14(2013).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{E.Eslami}和\textit{F.G.Maroof},注释IFS 19,第4号,第1-14页(2013;Zbl 1387.03021) 全文: 链接
克拉西米尔·阿塔纳索夫 关于直觉模糊蕴涵、否定和规律\。 (英语) 兹伯利1387.03018 注释IFS 19,第2期,10-20(2013).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{K.Atanassov},注释IFS 19,第2号,10--20(2013;Zbl 1387.03018) 全文: 链接
彼得·德沃尼扎克 直觉模糊蕴涵的推广。 (英语) Zbl 1387.03020号 注释IFS 19,第1期,21-26(2013).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dworniczak},注释IFS 19,No.1,21--26(2013;Zbl 1387.03020) 全文: 链接
玛丽亚·何塞·弗拉波利 真理的本质。真理归属意义的更新方法。 (英语) Zbl 1384.00036号 逻辑、认识论与科学的统一29.多德雷赫特:施普林格(ISBN 978-94-007-4463-9/hbk;978-94-07-9327-9/pbk;988-94-007-2464-6/电子书)。x、 158页。(2013).MSC公司:00A30型 03A05号 03A10号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frápolli},真理的本质。真理归属意义的更新方法。多德雷赫特:施普林格(2013;Zbl 1384.00036) 全文: 内政部
玛丽亚·范德沙尔(编辑) 判断和逻辑的认识基础。 (英语) Zbl 1383.03008号 逻辑、认识论与科学的统一31.多德雷赫特:施普林格(ISBN 978-94-007-5136-1/hbk;978-94-07-9587-7/pbk;988-94-007-137-8/电子书)。xvii,第161页。(2013).MSC公司:03-06 03B42型 03A05号 03A10号 PDF格式BibTeX公司 XML格式引用 \文本{M.van der Schaar}(编辑),《判断与逻辑的认识基础》。多德雷赫特:施普林格(2013年;兹bl 1383.03008) 全文: 内政部
克拉克、斯蒂芬;鲍勃·科克;梅赫努什·萨德扎德 关系代词的Frobenius解剖。 (英语) Zbl 1376.03028号 Kornai,András(编辑)等人,第13次语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。41-51 (2013).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.Clark}等人,in:第13届语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会。41-51(2013年;Zbl 1376.03028) 全文: 链接
蒂姆·费尔南多 划分时态和体的时间间隔。 (英语) Zbl 1376.03019号 Kornai,András(编辑)等人,第13次语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。30-40(2013年)。MSC公司:03B44号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{T.Fernando},in:第13届语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会。30-40(2013;Zbl 1376.03019) 全文: 链接
安德拉斯·科奈(编辑);马尔科·库尔曼(编辑) 第十三届语言数学会议。会议记录,2013年8月9日,保加利亚索非亚,MoL 13。 (英语) Zbl 1376.68009号 宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-937284-65-7)。x、 103页。,开放存取(2013)。MSC公司:68-06 03B65号 68T50型 91层20 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kornai}(编辑)和textit{M.Kuhlmann}(主编),第13届语言数学会议。2013年8月9日,保加利亚索非亚,MoL 13会议记录。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(2013;Zbl 1376.68009) 全文: 链接
阿兰·邦迪 表象和推理的相互作用。 (英语) Zbl 1371.03017号 程序。英国皇家学会。,序列号。A、 数学。物理学。工程科学。 469,No.2157,文章ID 20130194,18 p.(2013).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy},程序。英国皇家学会。,序列号。A、 数学。物理学。工程科学。469,第2157号,文章ID 20130194,18页(2013;Zbl 1371.03017) 全文: 内政部
刘军;内克米耶·奥扎伊;乌富克托普库;理查德·默里(Richard M.Murray)。 从时序逻辑规范合成反应式交换协议。 (英语) Zbl 1369.93307号 IEEE传输。自动。控制 58,第7期,1771-1785(2013).MSC公司:93C40型 68个M12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,IEEE Trans。自动。控制58,No.7,1771---1785(2013;Zbl 1369.93307) 全文: 内政部
拉尔斯·林达尔;简·奥德尔斯塔德 联合系统理论。 (英语) Zbl 1367.03042号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。545-634(2013年)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindahl}和\textit{J.Odelstad},摘自:道义逻辑和规范系统手册。伦敦:大学出版社。545-634(2013年;兹bl 1367.03042)
家长,Xavier;范德托雷、伦德特 输入/输出逻辑。 (英语) Zbl 1367.03044号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。499-544 (2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.Parent}和\textit{L.van der Torre},in:道义逻辑和规范系统手册。伦敦:大学出版社。499-544(2013年;Zbl 1367.03044)
斯文·奥夫·汉森 道义逻辑的替代语义。 (英语) Zbl 1367.03041号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。445-497 (2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson},载于:道德逻辑和规范系统手册。伦敦:大学出版社。445--497(2013年;Zbl 1367.03041)
大卫·格罗西;安德鲁·琼斯(Andrew J.I.Jones)。 构成规范和计数作为条件。 (英语) Zbl 1367.03038号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。407-441 (2013).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}和\textit{A.J.I.Jones,摘自:道义逻辑和规范系统手册。伦敦:大学出版社。407--441(2013年;Zbl 1367.03038)
马雷克·塞尔戈特 规范性立场。 (英语) Zbl 1367.03046号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。353-406 (2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Sergot},in:道义逻辑和规范系统手册。伦敦:大学出版社。353-406(2013;Zbl 1367.03046)
卢·高布尔 初级阶段面临规范、规范冲突和困境。 (英语) Zbl 1367.03037号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。241-351 (2013).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Goble},in:道义逻辑和规范体系手册。伦敦:大学出版社。241--351(2013;Zbl 1367.03037)
斯文·奥夫·汉森 许可的种类。 (英语) Zbl 1367.03040号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。195-240 (2013).MSC公司:03B45号 03B42型 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Hansson},摘自:道义逻辑和规范系统手册。伦敦:大学出版社。195-240(2013年;Zbl 1367.03040)
约格·汉森 强制性逻辑及其问题。 (英语) Zbl 1367.03039号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。137-191 (2013).MSC公司:03B45号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Hansen},in:道义逻辑和规范系统手册。伦敦:大学出版社。137--191(2013;Zbl 1367.03039)
里斯托·希尔皮宁;保罗·麦克纳马拉 道义逻辑:历史综述和导论。 (英语) Zbl 1367.03005号 Gabbay,Dov(编辑)等,道义逻辑和规范系统手册。伦敦:学院出版物(ISBN 978-1-84890-132-2/pbk)。3-136 (2013).MSC公司:03-03 03B45号 01A35型 01A55号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hilpinen}和\textit{P.McNamara},摘自:道义逻辑和规范系统手册。伦敦:大学出版社。3--136(2013;Zbl 1367.03005)
托马斯·戈加茨;Jerzy Marcinkowski 收敛到追逐——一种实现有限可控性的工具。 (英语) Zbl 1366.68034号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。540-549 (2013).MSC公司:第68页,共15页 03B70号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Gogacz}和\textit{J.Marcinkowski},摘自:2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,2013年LICS,美国路易斯安那州新奥尔良市杜兰大学,2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。540-549(2013年;Zbl 1366.68034) 全文: 内政部 arXiv公司
皮埃尔·埃瓦里斯特·达甘;康纳·麦克布莱德 对装饰品的分类处理。 (英语) Zbl 1366.68021号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。530-539(2013年)。MSC公司:68号30 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.E..Dagand}和\textit{C.McBride},摘自:2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集,2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学,LICS 2013。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。530--539(2013年;Zbl 1366.68021) 全文: 内政部
马塞洛·菲奥雷;马科托·哈马纳 多元多态代数理论:句法、语义、翻译和等式逻辑。 (英语) Zbl 1433.03161号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。520-529 (2013).MSC公司:03G30型 18立方厘米50 03B40型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore}和\textit{M.Hamana},摘自:2013年第28届年度ACM/IEEE计算机科学逻辑研讨会论文集,2013年LICS,美国路易斯安那州新奥尔良杜兰大学,2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。520-529(2013;Zbl 1433.03161) 全文: 内政部
亚历山德罗·法奇尼;菲利普·莫拉克;米查尔·斯科齐普扎克 Rabin-Mostowski指数问题:超越确定性自动机的一步。 (英语) Zbl 1366.68142号 2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。499-508 (2013).MSC公司:65年第68季度 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Facchini}等人,in:2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学,2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集,2013年LICS。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。499-508(2013年;Zbl 1366.68142) 全文: 内政部