贾格尔，格哈德;托马斯·施图德 模态不动点逻辑的Buchholz规则。 （英语） Zbl 1278.03044号 日志。Univers大学。 2011年第1期第5卷第1-19页。 审核人：Andrzej Indrzejczak（Łód罗兹） MSC公司：03B45号 03B44号 03B70号 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{T.Studer}，Log。Univers大学。5、第1号、第1-19号（2011；Zbl 1278.03044） 全文： 内政部
让-巴蒂斯特·拉克勒;埃里克·巴杜埃尔;阿尔伯特·本文尼斯特;贝努伊特Caillaud;Legay、Axel;罗伯托·帕塞罗内 基于组件设计的模态接口理论。 （英语） Zbl 1242.68147号 芬丹。通知。 108，编号1-2，119-149（2011）。MSC公司：65年第68季度 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-B.Raclet}等人，Fundam。通知。108，编号1--2，119-449（2011；Zbl 1242.68147） 全文： 内政部
小林直树;C.·H·卢克·翁 模态多演算片段的模型检查递归方案的复杂性。 （英语） Zbl 1237.68124号 日志。方法计算。科学。 7，第4号，第9号论文，23页（2011年）。MSC公司：60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}和\textit{C.H.L.Ong}，Log。方法计算。科学。7，第4号，第9号论文，23页（2011年；Zbl 1237.68124） 全文： 内政部
科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 用于余代数\（\mu\）-演算的EXPTIME表格。 （英语） Zbl 1237.03014号 日志。方法计算。科学。 第7卷第3期，第3号论文，33页（2011年）。MSC公司：03B45号 03B35型 03B70号 03G30型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人，《日志》。方法计算。科学。7，第3期，第3号论文，33页（2011年；Zbl 1237.03014） 全文： 内政部 arXiv公司
大卫·费尔南德斯·杜克 有限传递模型可模拟性的模态定义。 （英语） Zbl 1246.03042号 螺柱日志。 98，第3期，347-373（2011）。 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández Duque}，Stud.Log（螺栓日志）。98，第3号，347--373（2011；Zbl 1246.03042） 全文： 内政部
斯约尔德·克兰恩;Jan Friso，格鲁特;米歇尔·雷尼尔斯 从CTL到一阶模态演算的线性转换。 （英语） Zbl 1216.68188号 西奥。计算。科学。 412，第28号，3129-3139（2011）。MSC公司：68问题85 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人，Theor。计算。科学。412，第28号，3129--3139（2011；Zbl 1216.68188） 全文： 内政部
M.海牙。;Ong，C.-H.L。 下推系统模态演算的饱和方法。 （英语） Zbl 1215.68151号 Inf.计算。 209，第5期，799-821（2011）。MSC公司：68问题85 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hague}和\textit{C.H.L.Ong}，Inf.Compute。209，第5号，799--821（2011；Zbl 1215.68151） 全文： 内政部
普洛格，B。;韦塞林克，J.W。;威廉姆斯，T.A.C。 通过实例化参数化布尔方程系统验证反应系统。 （英语） Zbl 1215.68133号 Inf.计算。 209，第4期，637-663（2011）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Ploeger}等人，《信息计算》。209，第4号，637--663（2011；Zbl 1215.68133） 全文： 内政部
马丁·霍夫曼;马丁·兰格 自动机理论和逻辑。（自动化理论与逻辑） （德语） Zbl 1257.68003号 eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011). 审核人：Klaus D.Kiermeier（柏林） MSC公司：68-01年 68-02 03-01 03B25号 03B44号 03B70号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 判定传递模型上一致插值的存在性。 （英语） Zbl 1209.03012号 架构（architecture）。数学。逻辑 50，第1-2期，185-196（2011）。MSC公司：03B45号 03B44号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，拱门。数学。逻辑50，No.1--2，185--196（2011；Zbl 1209.03012） 全文： 内政部