×

找到30个文档（结果1-30）

最新的 引文 关联
法孔多·卡雷罗;维尼马，伊德

微积分中的PDL：一个语法和自动机理论表征。 （英语） Zbl 1385.03035号

Goré，Rajeev（编辑）等人，《模态逻辑的进展》。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物（ISBN 978-1-84890-151-3/pbk）。74-93 (2014).
MSC公司：03B70号 03B45 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Carreiro}和\textit{Y.Venema}，in：模态逻辑的进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日。伦敦：学院出版物。74-93（2014年；Zbl 1385.03035）
尼古拉·希洛夫五世。

命题程序和时序逻辑基于自动机的公理化设计方法（以线性时序逻辑为例）。 （英语） Zbl 1344.03021号

Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4，297-324（2014）。
MSC公司：03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{N.V.Shilov}，Ontos数学。日志。4297-324（2014；Zbl 1344.03021）
Amélie Gheerbrant;10个Cate，Balder

线性时态语言的克雷格插值。 （英语） Zbl 1257.03042号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日，第23届国际研讨会，CSL，第18届EACSL年会，葡萄牙科英布拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771287-301（2009）。
MSC公司：03B44号 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Gheerprant}和\textit{B.ten Cate}，莱克特。注释计算。科学。5771287--301（2009年；Zbl 1257.03042）
全文： 内政部
尼古拉·希洛夫五世。;Yi，Kwang先生

如何找到硬币：命题程序逻辑变得简单。 （英语） Zbl 1063.68043号

Péun，G.（编辑）等人，《理论计算机科学的当前趋势》。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学（ISBN 981-238-965-2/hbk；981-237-783-8/set）。181-213 (2004).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.V.Shilov}和\textit{K.Yi}，in：理论计算机科学的当前趋势。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：《世界科学》。181-213（2004；Zbl 1063.68043）
马里诺·米库兰

形式化归纳结构演算中的（mu）演算的惰性替换证明系统。 （英语） 兹伯利0939.03024

Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。捷克共和国布拉格，1999年7月11日至15日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1644, 554-564 (1999).
MSC公司：03B44号 03B35型 第68页第15页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Miculan}，莱克特。注释计算。科学。1644、554--564（1999；Zbl 0939.03024）
克劳斯·希尔德

关于并发的BDI逻辑和标准逻辑之间的关系。 （英语） Zbl 0927.03056号

Müller，Jörg P.（编辑）等人，《智能代理V.代理理论、架构和语言》。第五届国际研讨会，98年安乐。1998年7月4日至7日，法国巴黎。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1555, 47-61 (1999).
MSC公司：03B70号 第68页第27页 03B45 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Schild}，莱克特。注释计算。科学。1555，47-61（1999；Zbl 0927.03056）
达沃伦，J.M。

关于混合系统和模态演算。 （英语） Zbl 0928.93027号

Antsaklis，Panos（编辑）等人，《混合动力系统V.第五届国际混合动力系统研讨会》，1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1567, 38-69 (1999).
审核人：B.F.Šmarda（布尔诺）
MSC公司：93立方 93B35型 93D05型 65年第68季度 93元65角 68问题55 03B45
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Davoren}，莱克特。注释计算。科学。1567，38--69（1999；Zbl 0928.93027）
马丁·奥托

捕获互模拟不变量Ptime。 （英语） Zbl 0891.03016号

Adian，S.（编辑）等人，《计算机科学的逻辑基础》。第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1234, 294-305 (1997).
MSC公司：2015年3月1日 65年第68季度 03B45
PDF格式BibTeX公司 XML格式引用
\textit{M.Otto}，莱克特。注释计算。科学。1234294--305（1997；Zbl 0891.03016）
施林格洛夫，伯恩德·霍尔格

关于模态逻辑在树上的表达能力（扩展抽象）。 （英语） Zbl 0978.03523号

Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔，第二届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。620, 441-451 (1992).
MSC公司：03B70号 03B44号 03B45 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.-H.施林格洛夫}，莱克特。注释计算。科学。620、441--451（1992年；Zbl 0978.03523）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件