×

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

最新的 引文 关联
约瑟夫·保卢斯（Joseph W.N.Paulus）。;丹尼尔·南特斯·索布里尼奥;佩雷斯（Jorge A.Pérez）。

非确定性作为非确定性过程发挥作用。 （英语） 兹伯利0775361

日志。方法计算。科学。 19，第4号，第1号论文，120页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{J.W.N.Paulus}等人，Log。方法计算。科学。19，第4号，第1号论文，120页（2023；Zbl 07753361）
全文： 内政部 arXiv公司
OA许可证
彼得·吉普森;塔德乌兹·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号

加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).
MSC公司：03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891）
全文： 内政部 arXiv公司
亚历克斯·罗宁·本迪克森;博杰森，比亚克布雷多;汉斯·休特尔;Lybech，斯蒂安

高阶计算的泛型类型系统。 （英语） Zbl 1532.68034号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛A.R.Bendixen｝等人，电子。程序。西奥。计算。科学。（EPTCS）368，43-59（2022；Zbl 1532.68034）
全文： arXiv公司 链接
托拜厄斯·莱因哈德;巴特·雅各布斯

Ghost信号：验证忙等待的终止。 （英语） Zbl 1493.68097号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 27-50 (2021).
MSC公司：68甲19 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Reinhard}和\textit{B.Jacobs}，莱克特。票据计算。科学。12760，27-50（2021；Zbl 1493.68097）
全文： 内政部 arXiv公司
OA许可证
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯

标称过渡系统的模态逻辑。 （英语） Zbl 1509.68188号

日志。方法计算。科学。 17，第1号，第6号论文，49页（2021年）.
MSC公司：68问题85 03B45号 03B70号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Parrow}等人，Log。方法计算。科学。17，第1号，第6号文件，第49页（2021年；Zbl 1509.68188）
全文： arXiv公司 链接
桑德拉·阿尔维斯;迪莉娅·凯斯纳;丹尼尔·文图拉

对模式匹配的定量理解。 （英语） Zbl 07756108号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。175，第3条，第36页（2020年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Alves}等人，LIPIcs——莱布尼茨国际程序。通知。175，第3条，第36页（2020；Zbl 07756108）
全文： 内政部 arXiv公司
威廉·曼斯基;霍诺雷，沃尔夫;安德鲁·W·阿佩尔。

将高阶分离逻辑连接到外部一阶世界。 （英语） Zbl 1508.68070号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 428-455 (2020).
MSC公司：68号30 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Mansky}等人，Lect。票据计算。科学。12075，428-455（2020；Zbl 1508.68070）
全文： 内政部
OA许可证
莫滕·克罗格·杰斯佩森;阿明·蒂曼尼;玛丽特·埃德娜·奥伦布施;西蒙·奥德谢德·格雷格森;拉尔斯·比克达尔

Aneris：分布式系统模块化推理的机械化逻辑。 （英语） 兹比尔1508.68246

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 336-365 (2020).
MSC公司：68问题85 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Krogh-Jespersen}等人，Lect。票据计算。科学。12075、336--365（2020年；Zbl 1508.68246）
全文： 内政部
OA许可证
悉达哈·克里希纳;亚历山大·萨默斯。;托马斯·怀斯

全局图属性的局部推理。 （英语） 兹比尔1508.68065

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12075, 308-335 (2020).
MSC公司：68号30 03B70号 68第05页 第68季度第60季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishna}等人，Lect。票据计算。科学。12075、308--335（2020年；Zbl 1508.68065）
全文： 内政部 arXiv公司
OA许可证
阿莱西奥·曼苏蒂

树上的辅助逻辑：关于以可达性和子模型推理为特征的逻辑的高耸性。 （英语） Zbl 1506.03076号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 462-481 (2020).
MSC公司：03B70号 03B45号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Mansutti}，莱克特。票据计算。科学。12077、462--481（2020年；Zbl 1506.03076）
全文： 内政部
OA许可证
爱德华·坎伯扬;Din、Crystal Chang;雷纳·哈内尔;埃纳尔·布罗赫·约翰森

用于协作调度的异步协作契约。 （英语） Zbl 07817467号

Oh lveczky，Peter Csaba（编辑）等人，《软件工程和形式化方法》。2019年9月18-20日在挪威奥斯陆举行的第17届SEFM国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11724, 48-66 (2019).
MSC公司：68号30 03B70号 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Kamburjan}等人，Lect。票据计算。科学。11724、48-66（2019；Zbl 07817467）
全文： 内政部
皮埃尔小瓶

遗传置换子的序列类型。 （英语） Zbl 1528.03132号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。131，第33条，第15页（2019年）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{P.小瓶}，LIPIcs——莱布尼茨国际程序。通知。131，第33条，第15页（2019年；Zbl 1528.03132）
全文： 内政部
长谷川、Masahito

从线性逻辑到循环共享。 （英语） 兹比尔1486.03107

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）292，31-42（2019）。
MSC公司：03楼52 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.长谷川}，电子。程序。西奥。计算。科学。（EPTCS）292，31-42（2019；Zbl 1486.03107）
全文： arXiv公司 链接
拉杜·奥西夫

带有分离逻辑的程序验证。 （英语） Zbl 1508.68062号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10869，48-62（2018）。
MSC公司：68号30 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Iosif}，莱克特。票据计算。科学。10869、48-62（2018年；Zbl 1508.68062）
全文： 内政部 哈尔
阿莱西奥·曼苏蒂

扩展命题分离逻辑以获得鲁棒性。 （英语） Zbl 1528.03151号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。122，第42条，第23页（2018年）。
MSC公司：03B70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Mansutti}，LIPIcs——莱布尼茨国际程序。通知。122，第42条，第23页（2018；Zbl 1528.03151）
全文： 内政部
斯特凡·德姆里

关于时间逻辑和分离逻辑。 （英语） 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）
全文： 内政部
保罗·安德烈·梅利埃;莱奥·斯特凡内斯科

并发分离逻辑的游戏语义。 （英语） Zbl 1525.68029号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 241-256 (2018).
MSC公司：68号30 03B70号 68问题55 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛P.-A.Melliès｝和\textit｛L.Stefanesco｝，Electron。注释Theor。计算。科学。336、241--256（2018年；Zbl 1525.68029）
全文： 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆

分离逻辑的Stone型对偶定理，通过其底层的束逻辑实现。 （英语） Zbl 1525.03094号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 101-118 (2018).
MSC公司：03B70号 03B47号 03G30型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Docherty}和\textit{D.Pym}，电子。注释Theor。计算。科学。336、101--118（2018年；Zbl 1525.03094）
全文： 内政部
曹勤祥;圣地亚哥库埃拉;安德鲁·W·阿佩尔。

为分离逻辑丛林带来秩序。 （英语） Zbl 1503.03034号

Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10695190-211（2017年）。
MSC公司：03B70号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{Q.Cao}等人，Lect。票据计算。科学。10695190-211（2017年；兹bl 1503.03034）
全文： 内政部
迪莉娅·凯斯纳;皮埃尔小瓶

类型作为经典自然演绎的资源。 （英语） 兹伯利1434.03053

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。84，第24条，第17页（2017）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kesner}和\textit{P.小瓶}，LIPIcs——莱布尼茨国际程序。通知。84，第24条，第17页（2017；Zbl 1434.03053）
全文： 内政部
约瑟夫·塔萨罗蒂;拉尔夫·荣格;罗伯特·哈珀

一种用于并发终止保留精化的高阶逻辑。 （英语） Zbl 1485.68076号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 909-936 (2017).
MSC公司：68号30 03B70号 第68页第15页 68甲19 68N20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Tassarotti}等人，Lect。票据计算。科学。10201、909--936（2017；Zbl 1485.68076）
全文： 内政部 arXiv公司
马可·多科;维克托·瓦菲亚迪斯

使用FSL++解决现实生活中轻松的并发问题。 （英语） 兹比尔1485.68061

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 448-475 (2017).
MSC公司：68号30 03B70号 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Doko｝和\textit｛V.Vafeiadis｝，Lect。票据计算。科学。10201、448--475（2017；Zbl 1485.68061）
全文： 内政部
托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;安徒生，克里斯托弗只是;拉尔斯·比克达尔

跳跃–自动验证细粒度并发。 （英语） 兹比尔1485.68060

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 420-447 (2017).
MSC公司：68号30 03B70号 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛T.Dinsdale Young｝等人，Lect。票据计算。科学。10201420-447（2017；Zbl 1485.68060）
全文： 内政部
亚瑟·查古埃罗;弗朗索瓦·波蒂埃

分离逻辑的临时只读权限。 （英语） Zbl 1485.68056号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 260-286 (2017).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Charguéraud}和\textit{F.Pottier}，莱克特。票据计算。科学。10201260-286（2017；Zbl 1485.68056）
全文： 内政部 哈尔
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。

线性、控制效果和行为类型。 （英语） Zbl 1485.68055号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 229-259 (2017).
MSC公司：68号30 03楼52 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{J.A.Pérez}，莱克特。票据计算。科学。10201、229--259（2017；Zbl 1485.68055）
全文： 内政部 链接
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯

卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号

ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.
MSC公司：68问题85 03B70号 07年6月 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit｛B.Dongol｝等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210）
全文： 内政部
杜鹃花拉德;何塞·弗拉戈索·桑托斯;菲利普·加德纳

DOM：规范和客户端推理。 （英语） Zbl 1483.68089号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10017, 401-422 (2016).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Raad}等人，Lect。票据计算。科学。10017、401-422（2016；Zbl 1483.68089）
全文： 内政部 链接
杜鹃花拉德;阿奎那·霍伯;朱尔斯·维拉德;菲利普·加德纳

验证并发图算法。 （英语） Zbl 1483.68203号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10017, 314-334 (2016).
MSC公司：第68季度第60季度 03B70号 68兰特 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{A.Raad}等人，Lect。票据计算。科学。10017、314--334（2016；Zbl 1483.68203）
全文： 内政部 链接
佩德罗·达罗查·平托;托马斯·丁斯代尔·扬;菲利普·加德纳;朱利安·萨瑟兰

非阻塞并发的模块化终止验证。 （英语） Zbl 1335.68074号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632176-201（2016）。
MSC公司：68号30 03B70号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{P.da Rocha Pinto}等人，莱克特。票据计算。科学。9632、176--201（2016；Zbl 1335.68074）
全文： 内政部 链接
布里杰什·多戈尔;维克多·戈麦斯。;乔治·斯特鲁斯

分离逻辑的程序构造和验证工具。 （英语） Zbl 1432.68071号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9129, 137-158 (2015).
MSC公司：68号30 03B70号 第68季度第60季度 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，Lect。票据计算。科学。9129，137--158（2015；Zbl 1432.68071）
全文： 内政部 arXiv公司 链接
菲利普·加德纳;杜鹃花拉德;舵手，马克;亚当·赖特

并发库的抽象局部推理：注意差距。 （英语） Zbl 1337.68069号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，147-166，仅电子版（2014）。
MSC公司：68号30 03B70号 68第05页 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，《电子》。注释Theor。计算。科学。308147--166（2014年；Zbl 1337.68069）
全文： 内政部
默多克·加贝;丹·吉卡

名义模型中的游戏语义。 （英语） Zbl 1342.68195号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286173-189（2012）。
MSC公司：68问题55 03B70号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gabbay}和\textit{D.Ghica}，电子。注释Theor。计算。科学。286173--189（2012年；Zbl 1342.68195）
全文： 内政部
乔纳森·海曼

粒度和并发分离逻辑。 （英语） Zbl 1343.68059号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901219-234（2011）。
MSC公司：68号30 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Hayman}，莱克特。票据计算。科学。6901219--234（2011；Zbl 1343.68059）
全文： 内政部
詹姆斯·布罗瑟斯顿

聚束逻辑的统一显示证明理论。 （英语） Zbl 1343.03018号

Mislove，Michael（ed.）等人，第26届编程语义数学基础会议论文集（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265197-211（2010）。
MSC公司：03B47型 03B70号 03财年03 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}，电子。注释Theor。计算。科学。265197-211（2010；Zbl 1343.03018）
全文： 内政部
郭恒;王汉平;Xu，中原;曹永志

关于模型检查布尔BI。 （英语） Zbl 1257.03048号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771302-316（2009）。
MSC公司：03B47号 03B25号 03B70号 2017年第68季度 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Guo}等人，Lect。票据计算。科学。5771、302-316（2009年；Zbl 1257.03048）
全文： 内政部 链接
克莱门·赫林

通过证明重写实现程序的自动并行化和优化。 （英语） Zbl 1248.68147号

Palsberg，Jens（编辑）等人，《静态分析》。2009年8月9日至11日，第16届国际研讨会，SAS 2009，美国加利福尼亚州洛杉矶。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03236-3/pbk）。计算机科学讲座笔记5673，52-68（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Hurlin}，莱克特。票据计算。科学。5673、52-68（2009年；Zbl 1248.68147）
全文： 内政部 链接
蒂莫斯·安东尼奥普洛斯;阿努吉·达瓦尔

将图形逻辑与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）
全文： 内政部
罗伯特·多金斯;安德鲁·W·阿佩尔。;阿奎那·霍伯

用于操作语义推理的多模分离逻辑。 （英语） Zbl 1286.68395号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218，5-20（2008）。
MSC公司：68吨15 03B70号 第68页第15页 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Dockins}等人，《电子》。注释Theor。计算。科学。218，5-20（2008年；兹bl 1286.68395）
全文： 内政部
霍尔，托尼;彼得·奥赫恩

用于通信进程的分离逻辑语义。 （英语） Zbl 1286.68352号

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，3-25（2008）。
MSC公司：68问题85 第68页第15页 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{P.O'Hearn}，电子。注释Theor。计算。科学。212、3--25（2008年；Zbl 1286.68352）
全文： 内政部
爱蒂安·洛兹;朱尔斯·维拉德

应用（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）
全文： 内政部 哈尔
穆罕默德·拉扎;菲利普·加德纳

局部推理中的足迹。 （英语） Zbl 1139.68020号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962201-215（2008）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Raza}和\textit{P.Gardner}，莱克特。票据计算。科学。4962201-215（2008年；兹bl 1139.68020）
全文： 内政部 arXiv公司
克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂

关于数据更新的本地推理。 （英语） Zbl 1277.68064号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。
MSC公司：68第05页 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064）
全文： 内政部
克里斯蒂亚诺·卡尔加诺;托马斯·丁斯代尔·扬;菲利普·加德纳

树的上下文逻辑中的辅助消除。 （英语） Zbl 1137.03312号

Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。票据计算。科学。4807255-270（2007年；Zbl 1137.03312）
全文： 内政部 链接
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·迈耶;艾哈迈德·博阿贾尼

链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号

J.日志。代数。程序。 73，编号1-2，111-142（2007）.
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Yorsh}等人，J.Log。代数。程序。73，编号1--2，111-142（2007；Zbl 1121.03040）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件