詹姆斯·拉弗瑞。 代数和逻辑之间的桥梁——有些旧的，有些新的。 （英语） Zbl 1473.03041号 不是。南非。数学。Soc公司。 43，第2期，35-56（2012）.MSC公司：03G25号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Raftery}，不是。南非。数学。Soc.43，No.2，35-56（2012；Zbl 1473.03041）
佩德罗·巴尔塔扎尔；迪米特里斯·莫斯特鲁斯；Vasco T.瓦康塞洛斯。 线性优化会话类型。 （英语） Zbl 1459.68135号 Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，38-49（2012）。MSC公司：68问题85 03B70号 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar}等人，《电子》。程序。西奥。计算。科学。（EPTCS）101、38--49（2012；Zbl 1459.68135） 全文： arXiv公司 链接
玛丽贝尔·费尔南德斯；塞巴斯蒂安·莫拉特 高阶port-graph重写。 （英语） Zbl 1459.68090号 Alves，Sandra（编辑）等人，第二届线性国际研讨会论文集，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，25-37（2012）。MSC公司：2012年第68季度 03B70号 2007年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}和\textit{S.Maulat}，电子。程序。西奥。计算。科学。（EPTCS）101，25-37（2012；Zbl 1459.68090） 全文： arXiv公司 链接
毛里齐奥·多米尼奇；西蒙娜·隆奇·德尔拉·罗卡；保罗·特兰基利 资源\（\lambda\）-演算的标准化。 （英语） Zbl 1469.03040号 Alves，Sandra（编辑）等人，《第二届线性国际研讨会论文集》，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）101，1-11（2012）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dominici}等人，《电子》。程序。西奥。计算。科学。（EPTCS）101，1--11（2012；Zbl 1469.03040） 全文： arXiv公司 链接
中泽，Koji；胜本、新雅 非类型化演算的扩展模型。 （英语） Zbl 1459.68071号 Geuvers，Herman（编辑）等人，第四次经典逻辑和计算研讨会，英国沃里克，2012年7月8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）97，35-47（2012）。MSC公司：第68季度10 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nakazawa}和\textit{S.-Y.Katsumata}，电子。程序。西奥。计算。科学。（EPTCS）97，35-47（2012；Zbl 1459.68071） 全文： arXiv公司 链接
罗伯特·克雷伯斯 带有列表和控件的call-by-value\（\lambda\）演算。 （英语） Zbl 1459.68037号 Geuvers，Herman（编辑）等人，第四次经典逻辑和计算研讨会，英国沃里克，2012年7月8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）97、19-33（2012）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Krebbers}，电子。程序。西奥。计算。科学。（EPTCS）97、19--33（2012；Zbl 1459.68037） 全文： arXiv公司 链接
阿里·阿萨夫；西蒙·佩德里克斯 代数CPS模拟的完整性。 （英语） Zbl 1459.68033号 Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88，16-27（2012）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Assaf}和\textit{S.Perdrix}，电子。程序。西奥。计算。科学。（EPTCS）88，16--27（2012；Zbl 1459.68033） 全文： arXiv公司 链接
巴勃罗·阿里吉；亚历杭德罗·迪亚斯·卡洛；贝诺缬氨酸 线性代数λ演算向量方面的一种类型系统。 （英语） 兹比尔1459.68032 Kashefi，Elham（ed.）等人，第七届计算方法发展国际研讨会论文集，2011年DCM，瑞士苏黎世，2011年7月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）88，1-15（2012）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）88，1--15（2012；Zbl 1459.68032） 全文： arXiv公司 链接
坎通纳，多梅尼科；克里斯蒂亚诺·隆戈 具有有序对和一些不可判定扩展的集合论的可判定量化片段。 （英语） Zbl 1469.03032号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96224-237（2012）。MSC公司：03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{C.Longo}，电子。程序。西奥。计算。科学。（EPTCS）96，224--237（2012；Zbl 1469.03032） 全文： arXiv公司 链接
大卫·布雷索林；黛拉·莫妮卡，达里奥；安吉洛·蒙塔纳里；皮埃特罗·萨拉；圭多·西亚维科 强离散线性阶上的区间时间逻辑：完整的画面。 （英语） Zbl 1469.03045号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、155-168（2012）。MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96，155--168（2012；Zbl 1469.03045） 全文： arXiv公司 链接
贾库布·米查利辛；奥托普，简；彼得·维特科夫斯基 初等模态逻辑中的可满足性与有限可满足性。 （英语） Zbl 1469.03051号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96，141-154（2012）。MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96141-154（2012年；兹bl 1469.03051） 全文： arXiv公司 链接
里卡多·阿尔梅达；萨宾·布罗达；内尔玛·莫雷拉 用导数确定KAT和Hoare逻辑。 （英语） Zbl 1459.68040号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96127-140（2012）。MSC公司：68号30 03B25号 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Almeida}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96、127--140（2012；Zbl 1459.68040） 全文： arXiv公司 链接
朱利安·古铁雷斯；费利克斯·克莱特克；马丁·兰格 演算交替层次结构在连接受限的结构上崩溃。 （英语） Zbl 1469.03050号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96113-126（2012）。MSC公司：03B45号 05年3月 05C90年 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.古铁雷斯}等人，《电子》。程序。西奥。计算。科学。（EPTCS）96、113--126（2012；Zbl 1469.03050） 全文： arXiv公司 链接
马丁·兰格；艾蒂安·洛兹；曼纽尔·瓦尔加斯·古兹曼 模型检查过程等效性。 （英语） Zbl 1459.68120号 Faella，Marco（编辑）等人，第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6日至8日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）96、43-56（2012）。MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.Lange｝等人，电子。程序。西奥。计算。科学。（EPTCS）96，43-56（2012；Zbl 1459.68120） 全文： 链接
马西耶·加兹达；Tim A.C.Willemse。 抽象中的表达性和完整性。 （英语） Zbl 1459.68119号 Luttik，Bas（ed.）等人，第19届并发表达性国际研讨会和第9届结构化操作语义研讨会，英国泰恩河畔纽卡斯尔，2012年9月3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）89、49-64（2012年）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gazda}和\textit{T.A.C.Willemse}，电子。程序。西奥。计算。科学。（EPTCS）89，49--64（2012；Zbl 1459.68119） 全文： arXiv公司 链接
乌戈·达尔拉戈；克劳迪娅·法根 关于乘法线性逻辑、模态和量子电路。 （英语） Zbl 1469.03166号 Jacobs，Bart（编辑）等人，第八届量子物理和逻辑国际研讨会，荷兰奈梅亨，2011年10月27日至29日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）95，55-66（2012）。MSC公司：03楼52 03B45号 03G12号机组 05年3月 81页第10页 81页65 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{C.Faggian}，电子。程序。西奥。计算。科学。（EPTCS）95，55--66（2012；Zbl 1469.03166） 全文： arXiv公司 链接
安德森·德阿劳约；马塞洛·芬格 经典和量子可满足性。 （英语） Zbl 1458.68072号 Ronchi Della Rocca，Simona（ed.）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81、79-84（2012）。MSC公司：65年第68季度 03B70号 2012年第68季度 2015年第68季度 81页第10页 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.de Araújo}和\textit{M.Finger}，电子。程序。西奥。计算。科学。（EPTCS）81，79--84（2012；Zbl 1458.68072） 全文： arXiv公司 链接
保罗·A·S·维洛索。；Sheila R.M.维洛索。 关于关系包含的图反驳。 （英语） Zbl 1458.03025号 Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81、47-62（2012年）。MSC公司：03B60号 03B70号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}和\textit{S.R.M.Velooso}，电子。程序。西奥。计算。科学。（EPTCS）81、47--62（2012；Zbl 1458.03025） 全文： arXiv公司 链接
法维奥·埃泽基尔·米兰达·佩雷亚；González-Huesca，Lourdes Del Carmen Mendler风格的iso（co）归纳谓词：一种强规范化方法。 （英语） Zbl 1458.68039号 Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81，30-46（2012）。MSC公司：68号30 03B16号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.E.Miranda-Perea}和\textit{L.D.C.González-Huesca}，电子。程序。西奥。计算。科学。（EPTCS）81，30--46（2012；Zbl 1458.68039） 全文： arXiv公司 链接
巴勃罗·布伊拉斯；亚历杭德罗·迪亚斯·卡洛；毛罗·贾斯克利奥夫 代数（λ）演算中通过强正规化与重写的汇合。 （英语） Zbl 1469.03038号 Ronchi Della Rocca，Simona（编辑）等人，《逻辑和语义框架及其应用第六次研讨会论文集》，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）81，16-29（2012）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Buiras}等人，《电子》。程序。西奥。计算。科学。（EPTCS）81，16-29（2012年；兹bl 1469.03038） 全文： 链接
格里戈里薄荷；托马斯·施图德 带一个变量的\（\mu\）-演算的简化。 （英语） Zbl 1457.03070号 Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，47-54（2012）。MSC公司：05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{T.Studer}，电子。程序。西奥。计算。科学。（EPTCS）77，47--54（2012；Zbl 1457.03070） 全文： arXiv公司 链接
马丁·兰格；艾蒂安·洛兹 模型检查高维模态演算。 （英语） Zbl 1457.68166号 Miller，Dale（ed.）等人，第八届计算机科学定点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，39-46（2012）。MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange和\textit{E.Lozes}，电子。程序。西奥。计算。科学。（EPTCS）77，39-46（2012；Zbl 1457.68166） 全文： arXiv公司 链接
卢卡·埃特罗；Anna Ingólfsdóttir 嵌套不动点关系的特征公式。 （英语） Zbl 1457.68153号 Miller，Dale（编辑）等人，第八届计算机科学不动点研讨会论文集，爱沙尼亚塔林，2012年3月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）77，15-22（2012）。MSC公司：68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}和\textit{A.Ingólfsdóttir}，电子。程序。西奥。计算。科学。（EPTCS）77，15--22（2012；Zbl 1457.68153） 全文： arXiv公司 链接
克里斯·卡辛基诺；维勒姆·舍贝里；斯蒂芬妮·威里奇 具有一般递归的语言的步诱导规范化。 （英语） Zbl 1457.68036号 Chapman，James（编辑）等人，《数学结构函数编程第四次研讨会论文集》，MSFP 2012，爱沙尼亚塔林，2012年3月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）76，25-39（2012）。MSC公司：68甲15 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Casinghino}等人，《电子》。程序。西奥。计算。科学。（EPTCS）76，25-39（2012年；兹bl 1457.68036） 全文： arXiv公司 链接
卢西恩·卡普德维勒 PSPACE的一种类型系统，源自轻型线性逻辑。 （英语） Zbl 1457.68114号 Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，33-46（2012）。MSC公司：2015年第68季度 03B40型 03楼52 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Capdevielle}，电子。程序。西奥。计算。科学。（EPTCS）75，33-46（2012；Zbl 1457.68114） 全文： arXiv公司 链接
Temur Z.卡拉诺夫。 关于微积分基础的合理化。 （英语） Zbl 1446.03030号 牛市。纯应用程序。科学。E、 数学。斯达。 31，第1期，第1-7期（2012年）.MSC公司：03B30型 26A03号 26A06号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{T.Z.Kalanov}，公牛。纯应用程序。科学。E、 数学。Stat.31，No.1，1--7（2012；Zbl 1446.03030）
Dejnožka，简 相关性的概念和逻辑图传统。 （英语） Zbl 1435.03003号 [s.l.]：CreateSpace（ISBN 978-1-4750-7109-2/pbk）。第十五卷，154页。(2012).MSC公司：03-02 03A05号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dejnoíka}，关联概念和逻辑图传统。【s.l.】：CreateSpace（2012；Zbl 1435.03003）
Terui、Kazushige 语义评价；简单类型lambda演算的交集类型和复杂性。 （英语） 兹比尔1437.03054 Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 323-338 (2012).MSC公司：03B40型 2017年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Terui}，LIPIcs——莱布尼茨国际程序。通知。15、323--338（2012；Zbl 1437.03054） 全文： DOI程序
波拉·塞韦利；德弗里斯，Fer-Jan 无限组合逻辑中的无意义集。 （英语） Zbl 1437.03053号 Tiwari，Ashish（编辑），第23届重写技术与应用国际会议（RTA'12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 288-304 (2012).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Severi}和\textit{F.-J.de Vries}，LIPIcs——莱布尼茨国际程序。通知。15、288--304（2012；Zbl 1437.03053） 全文： DOI程序
阿列克谢·利西萨 安全验证中的有限模型与树自动机。 （英语） Zbl 1437.68084号 Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 225-239 (2012).MSC公司：2012年第68季度 03B10号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}，LIPIcs——莱布尼茨国际程序。通知。15225-239（2012年；Zbl 1437.68084） 全文： DOI程序 arXiv公司
贝尼亚米·阿卡托利；乌戈·达尔拉戈 关于压头降低的单一成本模型的不变性。 （英语） Zbl 1437.68039号 Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 22-37 (2012).MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}和\textit{U.Dal Lago}，LIPIcs——莱布尼茨国际程序。通知。15、22-37（2012；Zbl 1437.68039） 全文： DOI程序 arXiv公司
贝尼亚米·阿卡托利 显式替换的抽象因式分解定理。 （英语） Zbl 1437.68038号 Tiwari，Ashish（编辑），第23届改写技术和应用国际会议（RTA’12），日本名古屋，2012年5月28日至6月2日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。15, 6-21 (2012).MSC公司：68甲18 03B40型 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Accattoli｝，LIPIcs——莱布尼茨国际会议记录。通知。15、6--21（2012；Zbl 1437.68038） 全文： DOI程序
费卢西奥·圭迪 为Matita定理证明器形式化的纯（lambda）演算中的标准化和融合。 （英语） Zbl 1451.68340号 J.福尔马利兹。原因。 5，第1期，1-25（2012）.MSC公司：68V20型 03B40型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}，J.Formaliz。原因。5、第1、1-25号（2012；Zbl 1451.68340） 全文： DOI程序
亚历山大·兰格；费利克斯·雷德尔；彼得·罗斯马尼思；Somnath锡克达尔 MSO解算器的评估。 （英语） Zbl 1430.68415号 Bader，David A.（编辑）等人，《第14届算法工程与实验研讨会论文集》（ALENEX’12），日本京都，2012年1月16日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）。55-63 (2012).MSC公司：68伏15 03B16号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Langer}等人，摘自：《第14届算法工程与实验研讨会论文集》（ALENEX’12），日本京都，2012年1月16日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）。55-63（2012年；Zbl 1430.68415） 全文： DOI程序
西蒙娜·隆奇·德尔拉·罗卡（编辑）；伊莱恩·皮门特尔（编辑） 2011年8月27日，巴西贝洛奥里藏特，第六届逻辑和语义框架及应用研讨会论文集。 （英语） Zbl 1415.68046号 理论计算机科学电子论文集（EPTCS）81.滑铁卢：开放出版协会。第84页。，仅电子版，开放存取（2012年）。MSC公司：68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ronchi Della Rocca}（编辑）和\textit{E.Pimentel}（主编），第六届逻辑和语义框架与应用研讨会论文集，巴西贝洛奥里藏特，2011年8月27日。滑铁卢：开放出版协会（OPA）（2012；Zbl 1415.68046） 全文： DOI程序 arXiv公司 链接
桑德拉·阿尔维斯（编辑）；伊恩·麦基（编辑） 2012年4月1日，爱沙尼亚塔林，第二届国际线性研讨会会议记录。 （英语） 兹比尔1415.68011 理论计算机科学电子论文集（EPTCS）101.滑铁卢：开放出版协会（OPA）。60页。，仅电子版，开放存取（2012年）。MSC公司：68-06 03B70号 68甲18 2012年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Alves}（编辑）和\textit{I.Mackie}（编），第二届线性国际研讨会论文集，爱沙尼亚塔林，2012年4月1日。滑铁卢：开放出版协会（OPA）（2012；Zbl 1415.68011） 全文： DOI程序 arXiv公司 链接
恩斯特·施罗德 大卫·邦多尼（编辑） 关于绝对代数的形式元素。与德语平行文本。戴维德·邦多尼编辑。 （英语、德语） Zbl 1415.03007号 LED书目。米兰：LED，Ed.Univ.di Lettere Economia Diritto（ISBN 978-88-7916-516-7/pbk）。第十章，109页。(2012).MSC公司：03-03 03A05号 03B05号 01A75号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Schröder}和\textit{D.Bondoni}（编辑），关于绝对代数的形式元素。使用德语平行文本。戴维德·邦多尼编辑。米兰：LED，教育部，迪莱特经济学院（2012；兹bl 1415.03007）
阿恩·迈尔；朱利安·斯特芬·米勒；马丁·蒙德亨克；赫里贝特·沃尔默 Kripke模型上逻辑的模型检查的复杂性。 （英语） Zbl 1394.68233号 牛市。欧洲协会。计算。科学。EATCS公司 108, 50-89 (2012).MSC公司：60年第68季度 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，公牛。欧洲协会。计算。科学。EATCS 108，50-89（2012；Zbl 1394.68233） 全文： 链接
皮拉尔·德尔隆德 重新审视模糊谓词逻辑中的超积。 （英语） Zbl 1393.03020号 J.穆尔特-价值日志。软计算。 19，编号1-3，95-108（2012）.MSC公司：03C20号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dellunde}，J.Mult-价值日志。软计算。19，编号1--3，95-108（2012；Zbl 1393.03020） 全文： 链接
彼得罗·科达拉；奥塔维奥·德安托纳；文森佐·马拉 哥德尔逻辑中的估值和欧拉特征。 （英语） Zbl 1393.03013号 J.穆尔特-价值日志。软计算。 19，编号1-3，71-84（2012）.MSC公司：03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Codara}等人，J.Mult-价值日志。软计算。19、编号1--3、71-84（2012；Zbl 1393.03013） 全文： 链接
卡洛斯·卡莱罗；乔安·马科斯 多值性满足二价性：有效地使用逻辑值。 （英语） Zbl 1393.03009号 J.穆尔特-价值日志。软计算。 19，编号1-3，51-70（2012）.MSC公司：03B50号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit｛C.Caleiro｝和\textit｛J.Marcos｝，J.Mult-价值日志。软计算。19、编号1--3、51-70（2012；Zbl 1393.03009） 全文： 链接
费利克斯·布 基于主格滤波器的无限值Łukasiewicz逻辑。 （英语） Zbl 1393.03008号 J.穆尔特-价值日志。软计算。 19，编号1-3，25-39（2012）.MSC公司：03B50号 05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bou}，J.Mult-价值日志。软计算。19、编号1--3、25-39（2012；Zbl 1393.03008） 全文： 链接
弗朗西斯科·埃斯特瓦（编辑）；琼·吉斯佩特（编辑）；很多，费利普（编辑） IEEE第40届多值逻辑国际研讨会专题介绍。 （英语） Zbl 1395.00066号 J.穆尔特-价值日志。软计算。 19，第1-3、1-2号（2012）.MSC公司：00B25型 03-06 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}（编辑）等，J.Mult-价值日志。软计算。19，编号1--3，1--2（2012；Zbl 1395.00066） 全文： 链接
邹丽（音）；秀、欣；阮，达；徐，杨 语言真值直觉模糊代数。 （英语） Zbl 1393.03057号 J.穆尔特-价值日志。软计算。 18，编号5-6，445-456（2012）.MSC公司：03G25号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zou}等人，J.Mult-价值日志。软计算。18、编号5--6、445--456（2012；Zbl 1393.03057） 全文： 链接
坎吉兹·卡拉曼（编辑） 编辑。 （英语） Zbl 1395.00041号 J.穆尔特-价值日志。软计算。 18，编号5-6，441-443（2012）.MSC公司：00B15号机组 03-06 68层37 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Kahraman}（编辑），J.Mult-价值日志。软计算。18，编号5-6-441-443（2012年；兹bl 1395.00041） 全文： 链接
加文·雷恩斯；格哈德·莱克梅耶；托马斯·梅耶 用概率指定代理操作和观察的逻辑。 （英语） Zbl 1394.68375号 Kersting，Kristian（编辑）等人，《楼梯》2012。2012年8月27日至28日，法国蒙彼利埃，第六届启动人工智能研究者研讨会会议记录。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-095-6/hbk；978-1-6499-096-3/电子书）。人工智能与应用前沿241、252-263（2012）。MSC公司：68T27型 03B45号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{G.Rens}等人，前面。Artif公司。智力。申请。241252--263（2012年；兹比尔1394.68375） 全文： 链接
彼得·卡·米尔扎克；特鲁尔斯佩德森；Ågotnes，托马斯 NorMC公司：规范遵从性时态逻辑模型检查器。 （英语） Zbl 1394.68232号 Kersting，Kristian（编辑）等人，《楼梯》2012。2012年8月27日至28日，法国蒙彼利埃，第六届启动人工智能研究者研讨会会议记录。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-095-6/hbk；978-1-6499-096-3/电子书）。人工智能与应用前沿241、168-179（2012）。MSC公司：60年第68季度 03B44号 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Kaźmierczak}等人，前面。Artif公司。智力。申请。241168-179（2012；Zbl 1394.68232） 全文： 链接
纪尧姆拍卖行 回归和认知规划的DEL序列。 （英语） Zbl 1398.03068号 J.应用。非类别。日志。 22，第4期，337-367（2012）.MSC公司：03B42号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Aucher}，J.Appl。非类别。日志。22，第4号，337--367（2012；Zbl 1398.03068） 全文： DOI程序 哈尔
翁贝托·里维奇奥 无穷多的超级抢答逻辑。 （英语） Zbl 1398.03112号 J.应用。非类别。日志。 22，第4期，319-335（2012）.MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{U.Rivieccio}，J.Appl。非类别。日志。22、第4号、319--335（2012；Zbl 1398.03112） 全文： DOI程序
曼弗雷德·科伯；迈克尔·科尔哈斯 推理而不相信：关于预设和偏见的机械化。 （英语） 兹比尔1398.03150 J.应用。非类别。日志。 22，第4期，295-317（2012）.MSC公司：03B65号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kerber}和\textit{M.Kohlhase}，J.Appl。非类别。日志。22，第4号，295--317（2012；Zbl 1398.03150） 全文： DOI程序
娜塔莎·亚历奇纳；菲利普·巴尔比亚尼；德米特里·什卡托夫 关于二进制关系的无限并集和交集的推理的模态逻辑。 （英语） Zbl 1398.03084号 J.应用。非类别。日志。 22，第4期，275-294（2012）.MSC公司：03B45号 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人，J.Appl。非类别。日志。22，第4号，275--294（2012；Zbl 1398.03084） 全文： DOI程序
汉斯·范·迪特马什；安德烈亚斯·赫齐格；蒂亚戈，德利马 公告、公开任务及其逻辑的复杂性。 （英语） Zbl 1398.03076号 J.应用。非类别。日志。 22，第3期，249-273（2012）.MSC公司：03B42号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人，J.Appl。非类别。日志。22，第3号，249--273（2012；Zbl 1398.03076） 全文： DOI程序
卡里姆·努尔；科利法·萨伯 （lambda\mu^{\wedge\vee}\）-演算的一些性质。 （英语） Zbl 1398.03065号 J.应用。非类别。日志。 22，第3期，231-247（2012）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛K.Nour｝和\textit｛K.Saber｝，J.Appl。非类别。日志。22，第3号，231--247（2012；Zbl 1398.03065） 全文： DOI程序
保罗·图里尼；简·布罗森；罗斯加·马斯托普；约翰·朱尔斯·迈耶 管理竞争联盟：社会最优群体选择的逻辑。 （英语） Zbl 1398.03155号 J.应用。非类别。日志。 22，编号1-2，181-202（2012）.MSC公司：03B80号 03B45号 91B10型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Turrini}等人，J.Appl。非类别。日志。22，编号1-2181-202（2012年；兹bl 1398.03155） 全文： DOI程序
迈赫迪·达斯塔尼；约翰·朱尔斯·迈耶；Nick Tinnemeier 编程规范更改。 （英语） Zbl 1400.68055号 J.应用。非类别。日志。 22，编号1-2，151-180（2012）.MSC公司：68号30 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人，J.Appl。非类别。日志。22、编号1--2、151-180（2012；Zbl 1400.68055） 全文： DOI程序
克里斯蒂安·斯特拉 在正规的条件逻辑中自适应地应用模态推理。 （英语） Zbl 1398.03146号 J.应用。非类别。日志。 22，编号1-2，125-148（2012）.MSC公司：03B60号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{C.Straßer}，J.Appl.（《应用杂志》）。非类别。日志。22、编号1--2、125-148（2012；Zbl 1398.03146） 全文： DOI程序 链接
鲍里斯·科瓦勒丘克；列昂尼德·佩洛夫斯基；格雷戈里·惠勒 模拟现象和现象的动态逻辑。 （英语） Zbl 1398.03153号 J.应用。非类别。日志。 22，编号1-2，53-82（2012）.MSC公司：03B70号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Kovalerchuk}等人，J.Appl。非类别。日志。22、编号1--2、53-82（2012；Zbl 1398.03153） 全文： DOI程序 arXiv公司
雅罗斯拉夫·科坎 逻辑句法中的语义预设。 （英语） 兹比尔1398.03024 J.应用。非类别。日志。 22，编号1-2，29-41（2012）.MSC公司：03A05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kokhan}，J.应用。非类别。日志。22、编号1--2、29-41（2012；Zbl 1398.03024） 全文： DOI程序
科杜拉·威托泽卡；约翰·泽尔马克 一些变化逻辑的微积分。 （英语） 兹比尔1398.03082 J.应用。非类别。日志。 22，编号1-2，3-10（2012）.MSC公司：03B44号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świetorzecka}和\textit{J.Czermak}，J.Appl。非类别。日志。22、编号1--2、3--10（2012；Zbl 1398.03082） 全文： DOI程序
大卫·格罗西（编辑） 前言。 （英语） Zbl 1395.00071号 J.应用。非类别。日志。 22，编号1-2，149（2012）.MSC公司：00B25型 03-06 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}（编辑），J.Appl。非类别。日志。22，编号1--2149（2012；Zbl 1395.00071） 全文： DOI程序
赫尔曼·格乌弗斯（编辑）；乌戈·德利古罗（编辑） 第四次经典逻辑与计算研讨会，英国沃里克，2012年7月8日。诉讼程序。 （英语） Zbl 1391.03008号 理论计算机科学电子论文集（EPTCS）97.滑铁卢：开放出版协会（OPA）。第62页。，开放存取（2012）。MSC公司：03-06 03B40型 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Geuvers｝（编辑）和\textit｛U.de'Ligoro｝（编辑），第四次经典逻辑与计算研讨会，英国沃里克，2012年7月8日。诉讼程序。滑铁卢：开放出版协会（OPA）（2012；Zbl 1391.03008） 全文： DOI程序 arXiv公司 链接
JiříBarnat；伊万娜·乔纳；Tůmová，贾纳 验证退化系统。 （英语） Zbl 1399.68070号 计算。通知。 31，第3期，507-530（2012）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人，计算。通知。31，编号3507-530（2012年；兹bl 1399.68070）
埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 图灵和归一化。 （葡萄牙语。英文摘要） Zbl 1377.03002号 博尔。Soc.港口材料。 67, 79-96 (2012).MSC公司：03-03 03B15号机组 03B40型 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Espírito Santo}，波尔。Soc.Port.Mat.67、79--96（2012；Zbl 1377.03002） 全文： 链接
阿兰塞·阿佐拉，杰苏斯·玛丽亚；Domínguez Pérez，塞萨尔 计算机辅助证明。 （西班牙语） Zbl 1374.68486号 盖克。R.Soc.材料Esp。 15，第1期，75-104（2012）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Aransay Azofra}和\textit{C.Domínguez Pérez}，Gac。R.Soc.Mat.Esp.15，No.1，75--104（2012；Zbl 1374.68486）
Tichakorn的Wongpiromsarn；乌富克托普库；理查德·默里（Richard M.Murray）。 远期时间逻辑规划。 （英语） Zbl 1369.93392号 IEEE传输。自动。控制 57，第11期，2817-2830（2012）.MSC公司：93元65角 03B44号 93甲13 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{T.Wongpiromsarn}等人，IEEE Trans。自动。对照57，编号11，2817--2830（2012；Zbl 1369.93392） 全文： DOI程序
希亚马克·纳扎里；约翰·提斯特尔。 阻塞任意大小的完全连接网络。 （英语） Zbl 1369.93380号 IEEE传输。自动。控制 57，第5期，1233-1242（2012）.MSC公司：93元65角 68米10 03B25号 93甲14 PDF格式BibTeX公司 XML格式引用 \textit{S.Nazari}和\textit{J.G.Thistle}，IEEE Trans。自动。控制57，编号5，1233--1242（2012；Zbl 1369.93380） 全文： DOI程序
史密斯，马丁 关于JK规则的一些想法。 （英语） Zbl 1366.03136号 诺尔斯 46，第4期，791-802（2012）.MSC公司：03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Smith}，Nóus 46，No.4，791--802（2012；Zbl 1366.03136） 全文： DOI程序
凯萨琳·格里尔；彼得·帕金 一般术语和关系模式。 （英语） Zbl 1366.03062号 诺尔斯 46，第1期，159-199（2012）.MSC公司：03A05号 03B65号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Glüer}和\textit{P.Pagin}，诺乌斯46，第1号，159--199（2012；Zbl 1366.03062） 全文： DOI程序
乔纳森·一川；本杰明·贾维斯 理性想象和模态知识。 （英语） Zbl 1366.03080号 诺尔斯 第1期第46页，第127-158页（2012年）.MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ichikawa}和\textit{B.Jarvis}，Nóus 46，No.1，127--158（2012；Zbl 1366.03080） 全文： DOI程序
克里斯托弗·高克 提示者准备好了：不完整谓词的语义。 （英语） Zbl 1366.03201号 诺尔斯 46，第1期，61-85（2012）.MSC公司：03B65号 PDF格式BibTeX公司 XML格式引用 \textit{C.Gauker}，诺乌斯46，第1号，61-85（2012；Zbl 1366.03201） 全文： DOI程序
亚历山大·拉比诺维奇；萨沙·鲁宾 在树枝数不清的树上进行解释。 （英语） 兹伯利1364.03017 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。551-560 (2012).MSC公司：03B15号机组 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{S.Rubin}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。551-560（2012；Zbl 1364.03017） 全文： DOI程序
安德烈·普拉泽 混合系统的完全证明理论。 （英语） Zbl 1364.03045号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。541-550 (2012).MSC公司：03B80号 03财年03 34A38型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。541-550（2012年；Zbl 1364.03045） 全文： DOI程序
Vivek Nigam先生 线性授权逻辑的复杂性。 （英语） Zbl 1364.03044号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。511-520 (2012).MSC公司：03B70号 03楼52 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。511--520（2012；Zbl 1364.03044） 全文： DOI程序
塞巴斯蒂安·米勒；伊多·扎梅雷特 稠密随机3CNF公式的简短命题反驳。 （英语） Zbl 1364.03082号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。501-510 (2012).MSC公司：20层03 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Muller}和\textit{I.Tzameret}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。501-510（2012；Zbl 1364.03082） 全文： DOI程序
贾库布·米查利辛；奥托普，简 可判定的基本模态逻辑。 （英语） Zbl 1364.03033号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。491-500 (2012).MSC公司：03B45号 03B25号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaliszyn}和\textit{J.Otop}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。491--500（2012年；Zbl 1364.03033） 全文： DOI程序
达米亚诺·马扎 无限仿射lambda-calculus与完全lambda-Calculu斯同构。 （英语） Zbl 1364.03022号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。471-480（2012年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Mazza}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。471--480（2012年；Zbl 1364.03022） 全文： DOI程序
安德烈亚斯·克雷布斯；A.V.Sreejith。 语言在\（（mathbb{N}，+）\上的广义一阶公式的不可定义性。 （英语） Zbl 1361.68101号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。451-460 (2012).MSC公司：19年第68季度 03B70号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}和\textit{A.V.Sreejith}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。451-460（2012年；Zbl 1361.68101） 全文： DOI程序 arXiv公司
伊曼纽尔·基隆斯基；贾库布·米查利辛；伊恩·普拉特·哈特曼；利迪亚·坦德拉 具有等价闭包的二变量一阶逻辑。 （英语） Zbl 1362.68107号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。431-440 (2012).MSC公司：65年第68季度 03B20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kierónski}et al.，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。431-440（2012年；Zbl 1362.68107） 全文： DOI程序
Jeannin、Jean-Baptiste；德克斯特·科赞 胶囊和分离。 （英语） Zbl 1362.68050号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。425-430 (2012).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Jeannin}和\textit{D.Kozen}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。425-430（2012年；兹比尔1362.68050） 全文： DOI程序
吉勒姆·贾伯；尼古拉斯·塔巴鲁；索索、马蒂厄 用强制扩展类型理论。 （英语） Zbl 1364.03016号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。395-404 (2012).MSC公司：03B15号机组 03B40型 03E40型 03G30型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Jaber}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。395--404（2012；Zbl 1364.03016） 全文： DOI程序
北彦浩弘 基于基本组合对象的按值调用语言的步骤索引可实现性语义。 （英语） Zbl 1360.68573号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。385-394 (2012).MSC公司：68问题55 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Hoshino}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。385--394（2012年；Zbl 1360.68573） 全文： DOI程序
斯特凡·格勒；让·克里斯托夫·荣格；马库斯·洛伊 分解模态和一阶理论的复杂性。 （英语） 兹伯利1364.03031 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。325-334 (2012).MSC公司：03B45号 03B20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。325--334（2012年；Zbl 1364.03031） 全文： DOI程序
迪帕克·加格；基诺维斯，瓦莱里奥；萨拉·内格里 多模态逻辑中序列计算的反模型。 （英语） Zbl 1364.03030号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。315-324 (2012).MSC公司：03B45号 03B25号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。315--324（2012；Zbl 1364.03030） 全文： DOI程序
高思春；杰里米·阿维加德；埃德蒙·克拉克（Edmund M.Clarke）。 \（delta）-实域上的可判定性。 （英语） Zbl 1364.03065号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。305-314 (2012).MSC公司：03D78号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。305-314（2012；Zbl 1364.03065） 全文： DOI程序 arXiv公司
纳塔娜·菲亚尔科夫；雨果·金伯特；尤索夫·乌阿尔哈德 概率严密自动机的值1判定问题。 （英语） Zbl 1360.68553号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。295-304 (2012).MSC公司：65年第68季度 03B25号 05年3月 65年第68季度 70年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，《2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集》，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。295--304（2012；Zbl 1360.68553） 全文： DOI程序
维克托·恩格尔曼；斯蒂芬·克鲁泽；塞巴斯蒂安·西伯茨 有序结构上的一阶和一阶二阶模型检验。 （英语） Zbl 1362.68167号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。275-284 (2012).MSC公司：60年第68季度 03B10号机组 03B15号机组 03C07号机组 03C13号机组 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Engelmann}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。275--284（2012年；Zbl 1362.68167） 全文： DOI程序
迈克尔·埃尔伯菲尔德；马丁·格罗；蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 （英语） Zbl 1364.03015号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。265-274 (2012).MSC公司：03B15号机组 03B10号机组 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。265--274（2012；Zbl 1364.03015） 全文： DOI程序
陈，胡比；维克托·达尔摩 分解量化的合取（或析取）公式。 （英语） Zbl 1361.68138号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。205-214 (2012).MSC公司：60年第68季度 03B20型 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{V.Dalmau}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。205——214（2012年；兹bl 1361.68138） 全文： DOI程序
Carayol，阿诺；奥利维尔·塞雷 可折叠下推自动机和标记递归方案、等价性、安全性和有效选择。 （英语） Zbl 1360.68543号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。165-174 (2012).MSC公司：65年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{O.Serre}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。165-174（2012年；兹比尔1360.68543） 全文： DOI程序
Jean-Philippe Bernardy；吉尔亨·穆林 参数的计算解释。 （英语） Zbl 1364.03021号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。135-144 (2012).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Bernardy}和\textit{G.Moulin}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚都布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。135-144（2012年；Zbl 1364.03021） 全文： DOI程序
巴勃罗·巴塞洛；迭戈·菲格拉；利奥尼德·利金 具有有理关系的图逻辑和广义交集问题。 （英语） Zbl 1362.68063号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。115-124 (2012).MSC公司：第68页，共15页 03B70号 05年3月 65年第68季度 68兰特 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Barceló}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。115-124（2012；Zbl 1362.68063） 全文： DOI程序
大卫·巴尔德；戈帕兰·纳达图尔 结合演绎模和定点定义的逻辑。 （英语） Zbl 1361.68132号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。105-114 (2012).MSC公司：60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}和\textit{G.Nadathur}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。105-114（2012；Zbl 1361.68132） 全文： DOI程序 arXiv公司
史蒂夫·阿沃迪；尼古拉·甘比诺；克里斯蒂娜·索贾科娃 同伦类型理论中的归纳类型。 （英语） Zbl 1364.03014号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。95-104 (2012).MSC公司：03B15号机组 03G30型 18立方厘米10 55单位40 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛S.Awodey｝等人，载：2012年第27届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。95-104（2012；Zbl 1364.03014） 全文： DOI程序 arXiv公司
阿诺·阿夫隆；比塔·科尼科夫斯卡；安娜·扎曼斯基 亚一致逻辑无割序列计算的模块化构造。 （英语） Zbl 1364.03043号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。85-94 (2012).MSC公司：03B53号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。85-94（2012；Zbl 1364.03043） 全文： DOI程序
克里斯托夫·伯克霍尔茨 存在卵石博弈和\（k\）-一致性检验的下界。 （英语） Zbl 1360.68490号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。25-34 (2012).MSC公司：65年第68季度 03B20型 03C13号机组 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Berkholz}，in：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。25-34（2012年；Zbl 1360.68490） 全文： DOI程序 arXiv公司
安德烈·普拉泽 动力系统的逻辑。 （英语） Zbl 1362.68178号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。13-24 (2012).MSC公司：60年第68季度 03B45号 03B70号 第37页第10页 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。13-24（2012；Zbl 1362.68178） 全文： DOI程序
乌富克托普库；内克米耶Ozay；刘军；理查德·默里（Richard M.Murray）。 模型不确定性下鲁棒离散控制器的综合。 （英语） Zbl 1362.68190号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。85-94 (2012).MSC公司：60年第68季度 03B44号 68T40型 91A80型 93A30型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{U.Topcu}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。85-94（2012；Zbl 1362.68190） 全文： DOI程序
安吉丽卡·克拉泽 语气词和条件词。新的和修订的观点。 （英语） Zbl 1360.03006号 牛津理论语言学研究36.牛津：牛津大学出版社（ISBN 978-0-19-923468-4/hbk；978-0-19-19-923469-1/pbk）。xi，203页。(2012).MSC公司：03-03 01A75号 03B45号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kratzer}，情态和条件句。新的和修订的观点。牛津：牛津大学出版社（2012；Zbl 1360.03006） 全文： DOI程序
阿纳希特·丘巴扬；阿明·丘巴扬；阿尔曼·茨托扬 决定析取范式及其系统的性质。 （英语） Zbl 1357.03088号 数学杂志。物件。 4，第6号，89-96（2012）.MSC公司：20层03 03B20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Chubaryan}等人，J.数学。第4号决议，第6号，89--96（2012；Zbl 1357.03088） 全文： DOI程序
迈克尔·C·弗兰克。；诺亚·D·古德曼。 语言游戏中的预测语用推理。 （英语） Zbl 1355.91075号 科学类 336，编号6084998（2012）.MSC公司：91层20 91A28型 03B65号 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Frank}和\textit{N.D.Goodman}，科学336，No.6084998（2012；Zbl 1355.91075） 全文： DOI程序