×

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

最新的 引文 关联
斯特凡·德姆里

关于时间逻辑和分离逻辑。 （英语） Zbl 1487.68080号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。120，第1条，第4页（2018年）。
MSC公司：68号30 03B44号 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}，LIPIcs——莱布尼茨国际程序。通知。120，第1条，第4页（2018；Zbl 1487.68080）
全文： 内政部
蒂莫斯·安东尼奥普洛斯;阿努吉·达瓦尔

将图形逻辑与MSO分离。 （英语） Zbl 1234.03022号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记550463-77（2009）。
MSC公司：05年3月 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{T.Antonopoulos}和\textit{A.Dawar}，莱克特。票据计算。科学。5504、63--77（2009年；Zbl 1234.03022）
全文： 内政部
爱蒂安·洛兹;朱尔斯·维拉德

应用（pi）演算的空间方程逻辑。 （英语） Zbl 1160.03313号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，387-401（2008）。
MSC公司：03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛É.Lozes｝和\textit｛J.Villard｝，Lect。票据计算。科学。5201、387--401（2008年；Zbl 1160.03313）
全文： 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹

在万能的魔杖上。 （英语） Zbl 1157.03010号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，323-338（2008）。
MSC公司：03B70号 03B25号 68号30 68第05页 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Brochenin}等人，Lect。票据计算。科学。5213、323--338（2008；Zbl 1157.03010）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件