×

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

最新的 引文 关联
乌里·法伦贝格;Legay、Axel

行为规范理论的线性时间分支时间谱。 （英语） Zbl 1433.68213号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 49-61 (2017).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}和\textit{A.Legay}，莱克特。注释计算。科学。10139，49-61（2017；Zbl 1433.68213）
全文： 内政部
莫舍·瓦尔迪。

从哲学到工业逻辑。 （英语） Zbl 1209.68325号

Ramanujam，R.（编辑）等人，《逻辑及其应用》。2009年1月7日至11日，第三届印度会议，ICLA 2009，印度钦奈。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92700-6/pbk）。计算机科学讲义5378。人工智能课堂讲稿，89-115（2009）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。5378，89-115（2009年；Zbl 1209.68325）
全文： 内政部
莫舍·瓦尔迪。

从一元逻辑到PSL。 （英语） Zbl 1133.68380号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，656-681（2008）。
MSC公司：60年第68季度 68-03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4800、656--681（2008年；Zbl 1133.68380）
全文： 内政部
奥尔纳·库普弗曼;尤德·卢斯蒂格

格子模拟关系和游戏。 （英语） Zbl 1141.68473号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762316-330（2007）。
MSC公司：60年第68季度 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{Y.Lustig}，莱克特。注释计算。科学。4762316-330（2007年；Zbl 1141.68473）
全文： 内政部
苏米特·奈恩;莫舍·瓦尔迪。

分支与线性时间：语义视角。 （英语） Zbl 1141.68481号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。《计算机科学讲义》4762，19-34（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。4762、19-34（2007年；Zbl 1141.68481）
全文： 内政部 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;Rajamani，Sriram K。

公平模拟。 （英语） Zbl 1512.68168号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 273-287 (1997).
MSC公司：68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。1243273-287（1997年；Zbl 1512.68168）
全文： 内政部
大卫·墨菲;普伊格内，阿克塞尔

观察到的并发的函数语义。 （英语） Zbl 1493.68251号

Havel，Ivan M.（编辑）等人，《1992年计算机科学的数学基础》。第17届国际研讨会，1992年8月24日至28日，捷克斯洛伐克布拉格。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。629, 401-411 (1992).
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.Murphy}和\textit{A.Poigné}，莱克特。注释计算。科学。629401--411（1992年；Zbl 1493.68251）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件