罗纳德·哈恩 多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 (英语) Zbl 1435.68010号 计算机科学课堂讲稿11880.柏林:施普林格出版社(ISBN 978-3-662-60669-8/pbk;978-3-562-60670-4/电子书)。xi,第398页。(2019).MSC公司:68-02 03B44号 2015年第68季度 68年第27季度 60年第68季度 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.deHaan},多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。柏林:施普林格(2019;Zbl 1435.68010) 全文: 内政部
伊利莎·昆塔雷利 基于模型检查的数据检索。半结构化和时态数据的应用程序。 (英语) Zbl 1069.68044号 计算机科学课堂讲稿2917.柏林:施普林格出版社(ISBN 3-540-20971-9/pbk)。十六、134页。(2004). 审核人:安东尼哈(普拉哈) MSC公司:68第20页 68-02 第68页,共15页 68第05页 60年第68季度 68T05型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Quintarelli},基于模型检查的数据检索。半结构化和时态数据的应用程序。柏林:施普林格出版社(2004;Zbl 1069.68044) 全文: 内政部
埃尔比塔·哈尼茨 时间结构。形式描述和算法表示。 (英语) Zbl 1293.68008号 计算机科学课堂讲稿1047.人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-60941-5/pbk)。ix,第244页。(1996).MSC公司:68-02 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Hajnicz},时间结构。形式描述和算法表示。柏林:施普林格出版社(1996;Zbl 1293.68008) 全文: 内政部
加贝,多夫·M。(编辑);汉斯·奥尔巴赫。(编辑) 时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 (英语) Zbl 0875.03007号 计算机科学课堂讲稿人工智能课堂讲稿。柏林:斯普林格。xi,546 p.104.00马克;öS 811.20;sFr 104.00/sc(1994年)。MSC公司:03-06 68-06 00B25型 03B45号 68T27型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}(编辑)和textit{H.J.Ohlbach}(主编),时间逻辑。1994年7月11-14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:施普林格(1994;Zbl 0875.03007) 全文: 内政部
罗恩·科曼斯 使用时序逻辑指定消息传递和时间关键型系统。 (英语) Zbl 0806.68074号 计算机科学课堂讲稿. 651. 柏林:Springer-Verlag。九、 164 p.DM 46.00/sc(1992年)。 审核人:P.van Emde Boas(阿姆斯特丹) MSC公司:第68季度55 03B45号 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Koymans},使用时序逻辑指定消息传递和时间关键系统。柏林:Springer-Verlag(1992;Zbl 0806.68074) 全文: 内政部 链接
梅因,M。(编辑);梅尔顿,A。(编辑);Mislove,M。(编辑);施密特,D。(编辑) 编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。 (英语) Zbl 0751.68005号 计算机科学课堂讲稿442.柏林等:斯普林格·弗拉格。VI、 439页(1990年)。 审核人:E.P.de Vink公司 MSC公司:68-06 68号30 第68季度55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Main}(ed.)等人,编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0751.68005) 全文: 内政部
雅各布斯·W·德·巴克。(编辑);威廉·鲍尔·德·罗弗(编辑);格列泽戈兹·罗森贝格(编辑) 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 (英语) Zbl 0683.68001号 计算机科学课堂讲稿354.柏林等:斯普林格·弗拉格。八、 第713页(1989年)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}(ed.)等人,逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日,荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0683.68001)
贝纳姆·巴尼克巴尔(编辑);霍华德·巴林格(编辑);阿米尔·普努利(编辑) 规范中的时序逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。 (英语) Zbl 0718.68002号 计算机科学课堂讲稿,第398页。柏林等:Springer-Verlag。六、 第448页,DM 63.00(1989)。 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:68-06 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Banieqbal}(编辑)等人,规范中的时态逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。柏林等:Springer-Verlag(1989;Zbl 0718.68002)
Denvir,B.T。(编辑);哈伍德,W.T。(编辑);M.I.杰克逊。(编辑);Wray,M.J。(编辑) 并发系统的分析。剑桥,1983年9月12日至16日。诉讼程序。 (英语) Zbl 0581.68002号 计算机科学课堂讲稿, 207. 柏林等:Springer-Verlag。七、 第398页,50.00马克(1985年)。 审核人:R.Janicki公司 MSC公司:68-06 00B25型 68N25号 PDF格式BibTeX公司 XML格式