×

找到221个文档（结果1-100）

最新的 引文 关联
Christopher H.Broadbent。;Carayol，阿诺;马修·黑格;安德烈·穆拉夫斯基。;C.·H·卢克·翁;奥利维尔·塞雷

可折叠的下推平价游戏。 （英文） Zbl 1502.68180号

ACM事务处理。计算。日志。 22，第3条，第16条，第51页（2021年）.
MSC公司：60年第68季度 65年第68季度 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{C.H.Broadbent}等人，ACM Trans。计算。日志。22，第3号，第16条，51页（2021；Zbl 1502.68180）
全文： 内政部 arXiv公司 哈尔
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采

异步共享内存程序的一般可判定性结果：高阶及更高阶。 （英文） Zbl 1467.68040号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12651, 449-467 (2021).
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，Lect。注释计算。科学。12651、449--467（2021；Zbl 1467.68040）
全文： 内政部 arXiv公司
马蒂亚斯·霍尔泽尔;理查德·威尔克

关于存在二阶逻辑与团队语义逻辑的联合闭片断。 （英文） Zbl 07650838号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152，第25条，第16页（2020年）。
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hoelzel}和\textit{R.Wilke}，LIPIcs——莱布尼茨国际程序。通知。152，第25条，第16页（2020；兹bl 07650838）
全文： 内政部
莫滕·克罗格·杰斯佩森;阿明·蒂曼尼;玛丽特·埃德娜·奥伦布施;西蒙·奥德谢德·格雷格森;拉尔斯·比克达尔

Aneris：分布式系统模块化推理的机械化逻辑。 （英文） Zbl 1508.68246号

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

验证公平投票规则的构建。 （英文） Zbl 1504.91095号

Gabbrielli，Maurizio（编辑），基于逻辑的程序合成和转换。2019年10月8日至10日，第29届国际研讨会，2019年LOPSTR，葡萄牙波尔图。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。12042, 90-104 (2020).
MSC公司：91B14号机组 91B12号机组 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Diekhoff}等人，Lect。注释计算。科学。12042、90-104（2020年；Zbl 1504.91095）
全文： 内政部 链接
杜珊·克诺普;马丁·库特克;托马斯·马萨尼克;托马斯·图法尔

MSO以外的简化算法元定理：树宽和邻域多样性。 （英文） Zbl 1427.68125号

日志。方法计算。科学。 15，第4号，第12号论文，32页（2019年）.
MSC公司：65年第68季度 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Knop}等人，日志。方法计算。科学。15，第4号，第12号论文，32页（2019年；Zbl 1427.68125）
全文： arXiv公司
罗伯特·加尼安;彼得·赫林;雅罗斯拉夫·内舍特伊尔;Obdr zalek，简;帕特丽斯·奥斯纳·德门德斯

灌木深度：捕捉密集图形的高度。 （英文） Zbl 1515.03150号

日志。方法计算。科学。 15，第1号，第7号论文，第25页（2019年）.
MSC公司：03C13号机组 05C75号 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ganian｝等人，日志。方法计算。科学。15，第1号，第7号论文，25页（2019年；Zbl 1515.03150）
全文： arXiv公司
马杜苏丹，P。;乌芒·马图尔;Shambwaditya萨哈;马赫什·维斯瓦纳坦

二阶逻辑的可判定片段及其在合成中的应用。 （英文） Zbl 1528.03093号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第31条，第19页（2018年）。
MSC公司：03B25号 03B16号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}等人，LIPIcs——莱布尼茨国际程序。通知。119，第31条，第19页（2018；Zbl 1528.03093）
全文： 内政部 arXiv公司
马修·黑格;罗兰·梅耶;塞巴斯蒂安·穆斯卡拉;马丁·齐默尔曼

在多项式时间内，下推和可折叠下推系统的安全性相等。 （英文） Zbl 1512.68154号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第57条，第15页（2018年）。
MSC公司：60年第68季度 65年第68季度 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}等人，LIPIcs——莱布尼茨国际程序。通知。117，第57条，第15页（2018；Zbl 1512.68154）
全文： 内政部 arXiv公司
南条，Yoji;不，Hiroshi;埃里克·科斯金;大雄县Terauchi

时间属性验证的定点逻辑和相关效果。 （英文） Zbl 1497.68317号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。759-768 (2018).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nanjo}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。759--768（2018；Zbl 1497.68317）
全文： 内政部
马修·黑格;文森特·佩内尔

受约束的动态树状网络。 （英文） 兹比尔1515.68207

Potapov，Igor（编辑）等人，《可达性问题》。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11123, 45-58 (2018).
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}和\textit{V.Penelle}，莱克特。注释计算。科学。11123，45-58（2018；Zbl 1515.68207）
全文： 内政部 链接
铃木，Ryota;富士马，Koichi;直纪小林;津田，武士

高阶递归方案的Streett自动机模型检查。 （英文） Zbl 1441.68135号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第32条，第18页（2017年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Suzuki}等人，LIPIcs——莱布尼茨国际程序。通知。84，第32条，第18页（2017年；Zbl 1441.68135）
全文： 内政部
杜珊·克诺普;马丁·库特克;托马斯·马萨尼克;托马斯·图法尔

MSO以外的简化算法元定理：树宽和邻域多样性。 （英文） Zbl 1484.68072号

Bodlaender，Hans L.（编辑）等人，《计算机科学中的图论概念》。2017年6月21日至23日，第43届国际研讨会，2017年工作组，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。勒克特。注释计算。科学。10520344-357（2017年）。
MSC公司：65年第68季度 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Knop}等人，Lect。注释计算。科学。10520、344--357（2017；Zbl 1484.68072）
全文： 内政部 arXiv公司
直纪小林;爱蒂安·洛兹;弗洛里安·布鲁斯

关于高阶递归方案与高阶不动点逻辑之间的关系。 （英文） Zbl 1380.68277号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。246-259 (2017).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Kobayashi}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。246--259（2017；Zbl 1380.68277）
全文： 内政部 哈尔
西蒙·克鲁恩斯

可满足性模有界检查。 （英文） Zbl 1494.68283号

de Moura，Leonardo（编辑），《自动扣除——CADE 26》。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10395, 114-129 (2017).
MSC公司：68伏15 03B16号 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cruanes}，莱克特。注释计算。科学。10395、114--129（2017年；Zbl 1494.68283）
全文： 内政部 哈尔
荣格，拉尔夫;罗伯特·克雷伯斯;拉尔斯·比克达尔;德雷克·德雷尔

高阶幻影状态。 （英文） Zbl 1361.68066号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。256-269 (2016).
MSC公司：68号30 03B70号 68甲18 68甲19 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Jung}等人，in：《第21届ACM SIGPLAN函数编程国际会议论文集》，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。256-269（2016；Zbl 1361.68066）
全文： 内政部 链接
渡边庆一;佐藤隆介;津田，武士;直纪小林

自动否定高阶函数程序的公平终止。 （英文） Zbl 1361.68153号

Garrigue，Jacques（ed.）等人，《第21届ACM SIGPLAN功能编程国际会议论文集》，2016年9月18日至22日，日本奈良，ICFP’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4219-3）。243-255 (2016).
MSC公司：60年第68季度 68甲18 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Watanabe}等人，in：第21届ACM SIGPLAN函数编程国际会议论文集，2016年9月18日至22日，日本奈良ICFP’16。纽约州纽约市：计算机协会（ACM）。243-255（2016年；兹比尔1361.68153）
全文： 内政部
马修·黑格;乔纳森·科切姆斯;C.·H·卢克·翁

高阶下推自动机的无界性和下闭包。 （英文） 兹比尔1347.68205

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。151-163 (2016).
MSC公司：65年第68季度 68甲18 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。151-163（2016；Zbl 1347.68205）
全文： 内政部 arXiv公司
明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不，Hiroshi

高阶功能程序的时间验证。 （英文） Zbl 1347.68233号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。57-68 (2016).
MSC公司：60年第68季度 68甲18 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Murase}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。57-68（2016；Zbl 1347.68233）
全文： 内政部
瓦卡尔·艾哈迈德;奥斯曼·哈桑;索菲涅·塔哈尔

形式可靠性建模与分析：一项调查。 （英文） Zbl 1344.68200号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能课堂讲稿》，132-147（2016）。
MSC公司：68吨15 60年第68季度 68问题85 87年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{W.Ahmed}等人，Lect。注释计算。科学。9791、132--147（2016年；Zbl 1344.68200）
全文： 内政部 arXiv公司
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊

带约束的\（\operatorname{ECTL}^\ast\）的可满足性。 （英文） Zbl 1358.03032号

J.计算。系统。科学。 82,5号，826-855（2016）.
审核人：雅罗斯拉夫·什兰科（Kryvyi Rih）
MSC公司：03B44号 03B70号 03B15号机组 60年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{C.Carapelle}等人，J.计算。系统。科学。82，第5号，826--855（2016；Zbl 1358.03032）
全文： 内政部
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃

线性逻辑的关系语义和高阶模型检查。 （英文） Zbl 1373.68287号

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，260-276（2015）。
MSC公司：60年第68季度 03B47号 03B70号 05年3月 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.Grellois}和\textit{P.-A.Melliès}，LIPIcs--Leibniz Int.Proc。通知。41260-276（2015年；Zbl 1373.68287）
全文： 内政部 arXiv公司
马蒂亚斯·基尔;彼得·蒂曼

具有交叉和联合的高阶合同的责任分配。 （英文） Zbl 1360.68365号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。375-386 (2015).
MSC公司：68号30 68甲18 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Keil｝和\textit｛P.Thiemann｝，载于：第20届ACM SIGPLAN功能编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。375--386（2015年；Zbl 1360.68365）
全文： 内政部
乔治·奈斯;Chung Kil呼;Jan-Oliver凯撒;克雷格·麦克劳林;德雷克·德雷尔;维克托·瓦菲亚迪斯

Pilsner：一种用于高阶命令式语言的经过组合验证的编译器。 （英文） Zbl 1360.68350号

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。166-178 (2015).
MSC公司：68N20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Neis}等人，in：第20届ACM SIGPLAN函数编程国际会议论文集，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。166--178（2015年；Zbl 1360.68350）
全文： 内政部
布鲁诺·库塞尔

用于检查有界树宽图的一元二阶性质的Fly-automata。 （英文） Zbl 1347.03077号

Campílo，Manoel（编辑）等人，LAGOS’15。第八届拉丁美洲算法、图形和优化研讨会论文集，巴西贝贝里贝Praia das Fontes，2015年5月11日至15日。阿姆斯特丹：爱思唯尔。离散数学电子笔记50，3-8，仅电子版（2015）。
MSC公司：05年3月 65年第68季度 05C12号 05C69号 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}，电子。注释离散数学。50、3--8（2015年；Zbl 1347.03077）
全文： 内政部
荣格，拉尔夫;大卫·斯瓦西;菲利普·西奇科夫斯基;卡斯珀·斯文森;亚伦·图伦;拉尔斯·比克达尔;德雷克·德雷尔

虹膜：作为并行推理的正交基础的幺半群和不变量。 （英文） Zbl 1346.68135号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。637-650 (2015).
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Jung}等人，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。637--650（2015年；Zbl 1346.68135）
全文： 内政部
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇

键入弱MSOL属性。 （英文） Zbl 1448.68315号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9034, 343-357 (2015).
MSC公司：60年第68季度 03B16号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{S.Salvati}和\textit{I.Walukiewicz}，莱克特。注释计算。科学。9034、343--357（2015；Zbl 1448.68315）
全文： 内政部 arXiv公司
查尔斯·格雷洛伊斯;保罗·安德烈·梅利斯

线性逻辑的无限模型。 （英文） Zbl 1459.03025号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9034, 41-55 (2015).
MSC公司：03B47号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Grellois}和\textit{P.-A.Melliès}，莱克特。注释计算。科学。9034，41-55（2015；Zbl 1459.03025）
全文： 内政部 arXiv公司
安德烈亚斯·布拉斯

作为二阶逻辑片段的存在不动点逻辑。 （英文） Zbl 1465.03074号

Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。9300, 52-68 (2015).
MSC公司：03C80号 03B16号 03B70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Blass}，莱克特。注释计算。科学。9300，52-68（2015；Zbl 1465.03074）
全文： 内政部
查尔斯·格雷洛伊斯;保罗·安德烈·梅利埃

线性逻辑的金融语义和高阶模型检验。 （英文） Zbl 1465.68179号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。勒克特。注释计算。科学。9234, 256-268 (2015).
MSC公司：60年第68季度 03B70号 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.Grellois}和\textit{P.-A.Melliès}，莱克特。注释计算。科学。9234256-268（2015年；Zbl 1465.68179）
全文： 内政部 arXiv公司
柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特

过渡系统中的相关路径：模态微积分的下降。 （英文） Zbl 1465.68173号

Italiano，F.（编辑）等人，《计算机科学数学基础》2015。2015年8月24日至28日，第40届国际研讨会，MFCS 2015，意大利米兰。诉讼程序。第一部分柏林：施普林格。勒克特。注释计算。科学。9234, 179-191 (2015).
MSC公司：60年第68季度 03B16号 03B45号 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.Dima}等人，Lect。注释计算。科学。9234、179--191（2015年；Zbl 1465.68173）
全文： 内政部
加亚尔斯克，雅库布;彼得·赫林

对固定高度树的MSO属性进行核化，以及一些结果。 （英文） Zbl 1392.03022号

日志。方法计算。科学。 11，第1号，第19号论文，26页（2015）.
MSC公司：03B25号 03B15号机组 05年3月 05二氧化碳 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskě}和\textit{P.Hlin \283,n \283]，Log。方法计算。科学。11，第1号，第19号论文，26页（2015；Zbl 1392.03022）
全文： 内政部 arXiv公司
津田，武士;C.·H·卢克·翁

通过Böhm树上的（\omega）-正则博弈进行合成高阶模型检验。 （英文） Zbl 1401.68207号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第78号论文，第10页（2014年）。
MSC公司：60年第68季度 68问题55 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{T.Tsukada}和\textit{C.H.L.Ong}，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，以及2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第78号论文，10页（2014；Zbl 1401.68207）
全文： 内政部
埃里克·科斯金;大雄县Terauchi

局部时间推理。 （英文） Zbl 1401.68203号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第59号论文，第10页（2014年）。
MSC公司：60年第68季度 03B44号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Koskinen}和\textit{T.Terauchi}，in：第二十三届EACSL计算机科学逻辑年会联合会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第59号文件，第10页（2014年；兹bl 1401.68203）
全文： 内政部
马可·贝尔纳多;戴维·桑吉奥吉;瓦莱里亚·维格努德利

关于钝化和高阶相互作用的分辨力。 （英文） Zbl 1392.68283号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第14号论文，第10页（2014年）。
MSC公司：68问题85 03B70号 68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bernardo}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第14号论文，第10页（2014；Zbl 1392.68283）
全文： 内政部 哈尔
史蒂文·拉姆齐。;不远处，罗宾·P·。;C.·H·卢克·翁

一种用于高阶模型检查的类型定向抽象精化方法。 （英文） Zbl 1284.68414号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。61-72 (2014).
MSC公司：60年第68季度 68周05 2012年第68季度 65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Ramsay}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。61-72（2014年；Zbl 1284.68414）
全文： 内政部 链接
马修·黑格

并发可折叠下推系统的饱和。 （英文） Zbl 1359.68222号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，313-325（2013）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}，LIPIcs——莱布尼茨国际程序。通知。24、313--325（2013；Zbl 1359.68222）
全文： 内政部 arXiv公司
阿克塞尔·哈达德

模型检查和功能程序转换。 （英文） Zbl 1359.68044号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，115-126（2013）。
MSC公司：68甲18 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Haddad}，LIPIcs——莱布尼茨国际程序。通知。24、115-126（2013；Zbl 1359.68044）
全文： 内政部
克里斯托弗·布罗德本特;直纪小林

高阶递归格式的基于饱和度的模型检查。 （英文） Zbl 1356.68141号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，129-148（2013）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Broadbent}和\textit{N.Kobayashi}，LIPIcs——莱布尼茨国际程序。通知。23、129--148（2013；Zbl 1356.68141）
全文： 内政部
亚伦·图伦;德雷克·德雷尔;拉尔斯·比克达尔

在高阶并发逻辑中统一求精和Hoare-style推理。 （英文） Zbl 1323.68386号

2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN Notices 48，No.9，377-390（2013）。
MSC公司：60年第68季度 03B70号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Turon}等人，in：第18届ACM SIGPLAN函数编程国际会议论文集，ICFP’13，美国马萨诸塞州波士顿，2013年9月25-27日。纽约州纽约市：计算机协会（ACM）。377--390（2013年；Zbl 1323.68386）
全文： 内政部
克里斯托弗·布罗德本特;Carayol，阿诺;马修·黑格;奥利维尔·塞雷

C-SHORe：一种可折叠的高阶验证方法。 （英文） Zbl 1323.68364号

2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN功能编程国际会议记录，ICFP’13。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2326-0）。ACM SIGPLAN通知48，第9号，13-24（2013）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Broadbent｝等人，2013年9月25日至27日，美国马萨诸塞州波士顿，第18届ACM SIGPLAN功能编程国际会议论文集，ICFP'13。纽约州纽约市：计算机协会（ACM）。13-24（2013年；兹bl 1323.68364）
全文： 内政部
达尔拉戈，乌戈;芭芭拉·佩蒂特

类型的几何图形。 （英文） Zbl 1301.68184号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。167-178 (2013).
MSC公司：68问题65 68甲18 68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{B.Petit}，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。167--178（2013；Zbl 1301.68184）
全文： 内政部 arXiv公司
不，Hiroshi;大雄县Terauchi;直纪小林

自动化相对完整的高阶功能程序验证。 （英文） Zbl 1301.68182号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。75-86 (2013).
MSC公司：60年第68季度 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Unno}等人，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。75-86（2013；Zbl 1301.68182）
全文： 内政部 链接
罗伯特·加尼安;Obdr zalek，简

在受限图类上扩展一元二阶逻辑的表达能力。 （英文） Zbl 1284.68463号

Lecroq，Thierry（编辑）等人，《组合算法》。2013年7月10日至12日，第24届国际研讨会，IWOCA 2013，法国鲁昂。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-45277-2/pbk）。计算机科学课堂讲稿8288，164-177（2013）。
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：68兰特 03B15号机组 03B70号 2017年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}和\textit{J.Obdrálek}，莱克特。注释计算。科学。8288、164--177（2013年；Zbl 1284.68463）
全文： 内政部 arXiv公司
维克托·恩格尔曼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨

有序结构上的一阶和一阶二阶模型检验。 （英文） Zbl 1362.68167号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。275-284 (2012).
MSC公司：60年第68季度 03B10号机组 03B15号机组 03C07号机组 03C13号机组 19年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Engelmann}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。275--284（2012年；Zbl 1362.68167）
全文： 内政部
不远处，罗宾·P·。;史蒂文·拉姆齐。;王志浩（音）

一种基于遍历的高阶模型检查算法。 （英文） Zbl 1291.68264号

2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录，ICFP’12。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，353-364（2012）。
MSC公司：60年第68季度 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.P.Neatherway}等人，《第17届ACM SIGPLAN函数式编程国际会议论文集》，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。353--364（2012年；Zbl 1291.68264）
全文： 内政部
罗伯特·加尼安;彼得·赫林;雅罗斯拉夫·内舍特伊尔;Obdr zalek，简;帕特丽斯·奥斯纳·德门德斯;雷斯马·拉马杜赖

当树木低矮时：灌木和快速生长{MSO}_{1}\). （英文） Zbl 1365.68323号

Rovan，Branislav（编辑）等人，《计算机科学数学基础》，2012年。2012年8月27日至31日，斯洛伐克布拉迪斯拉发，第37届国际研讨会，MFCS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32588-5/pbk）。计算机科学课堂讲稿7464，419-430（2012）。
MSC公司：60年第68季度 03B15号机组 05二氧化碳 05C75号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}等人，Lect。注释计算。科学。7464，419--430（2012；Zbl 1365.68323）
全文： 内政部
戴尔·米勒;戈帕兰·纳达图尔

用高阶逻辑编程。 （英文） Zbl 1267.68014号

剑桥：剑桥大学出版社（ISBN 978-0-521-87940-8/hbk；978-1-139-51212-1/电子书）。xiii，306页。(2012).
审核人：尤里安·哈格（乌得勒支）
MSC公司：68-02 68N17号 68甲18 68甲15 03B70号 68号30 60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Miller}和\textit{G.Nadathur}，用高阶逻辑编程。剑桥：剑桥大学出版社（2012；Zbl 1267.68014）
全文： 内政部
迪米特里奥斯·瓦杜拉基斯;希弗斯，奥林

一级控制下推流量分析。 （英文） Zbl 1323.68169号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，69-80（2011）。
MSC公司：68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Vardoulakis}和\textit{O.Shivers}，摘自：第16届ACM SIGPLAN函数式编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。69-80（2011；Zbl 1323.68169）
全文： 内政部
C.·H·卢克·翁;史蒂文·詹姆斯·拉姆齐

用模式匹配的代数数据类型验证高阶函数程序。 （英文） Zbl 1284.68193号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。587-598 (2011).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{C.H.L.Ong}和\textit{S.J.Ramsay}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11。纽约州纽约市：计算机协会（ACM）。587--598（2011；Zbl 1284.68193）
全文： 内政部
亚历山大·卡尔佐夫

下推图泛化的一阶模型检验。 （英文） Zbl 1262.68004号

达姆施塔特：达姆施塔大学，Fachbereich Mathematik（Diss.）。第253页。(2011).
审核人：克里斯特尔·拜尔（德累斯顿）
MSC公司：68-02 60年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{A.Kartzow}，一阶模型对下推图泛化的检查。达姆施塔特：达姆施塔大学，Fachbereich Mathematik（Diss.）（2011年；Zbl 1262.68004）
全文： arXiv公司
直纪小林;直市田口;不，Hiroshi

用于程序验证的高阶多参数树变换器和递归方案。 （英文） Zbl 1312.68136号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。495-508 (2010).
MSC公司：60年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Kobayashi}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'10，西班牙马德里，2010年1月17-23日。纽约州纽约市：计算机协会（ACM）。495-508（2010年；Zbl 1312.68136）
全文： 内政部
德雷克·德雷尔;乔治·奈斯;拉尔斯·比克达尔

高阶状态和控制效果对局部关系推理的影响。 （英文） Zbl 1323.68203号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN公告45，编号9，143-156（2010）。
MSC公司：68号30 68甲18 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Dreyer}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27-29日。纽约州纽约市：计算机协会（ACM）。143-156（2010年；Zbl 1323.68203）
全文： 内政部
马修·黑格;收件人：Anthony Widjaja

模型检查（可折叠）高阶下推系统的复杂性。 （英文） Zbl 1245.68137号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8，228-239，仅电子版（2010年）。
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}和\textit{A.W.To}，LIPIcs——莱布尼茨国际程序。通知。8、228--239（2010年；Zbl 1245.68137）
全文： 内政部 链接
Ong，C.-H.L。

高阶计算模型：递归方案和可折叠下推自动机。 （英文） Zbl 1214.68160号

Esparza，Javier（编辑）等人，《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-099-5/hbk；978-1-60750-100-8/电子书）。北约和平与安全科学系列D：信息和通信安全25263-299（2010）。
MSC公司：2005年第68季度 65年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.H.L.Ong}，北约科学。和平安全。序列号。D、 信息通信。安全。25263--299（2010年；Zbl 1214.68160）
全文： 内政部
托拜厄斯·甘佐;凯撒，乌卡斯

归纳结构上弱一元二阶逻辑的新算法。 （英文） Zbl 1287.68109号

Dawar，Anuj（编辑）等人，《计算机科学逻辑》。第24届国际研讨会，CSL 2010，EACSL第19届年会，2010年8月23日至27日，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247366-380（2010）。
MSC公司：60年第68季度 03B15号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{T.Ganzow}和\textit{Ł.Kaiser}，莱克托。注释计算。科学。6247366--380（2010年；Zbl 1287.68109）
全文： 内政部 链接
托马斯·艾特;乔治·戈特洛布;托马斯·施文蒂克

二阶逻辑前缀类的模型检验问题：综述。 （英文） Zbl 1287.68107号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，227-250（2010）。
MSC公司：60年第68季度 03B15号机组 03C13号机组 65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。6300、227--250（2010；Zbl 1287.68107）
全文： 内政部
直纪小林

用于验证高阶程序的类型和高阶递归方案。 （英文） Zbl 1315.68099号

第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’09，美国佐治亚州萨凡纳，2009年1月18日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。416-428 (2009).
MSC公司：68号30 68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Kobayashi}，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。416--428（2009年；Zbl 1315.68099）
全文： 内政部 链接
斯蒂芬·克鲁泽

关于一元二阶逻辑的参数化难处理性。 （英文） Zbl 1257.68070号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日，第23届国际研讨会，CSL，第18届EACSL年会，葡萄牙科英布拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771348-363（2009）。
MSC公司：2015年第68季度 03B15号机组 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}，莱克特。注释计算。科学。5771、348--363（2009年；Zbl 1257.68070）
全文： 内政部
路易·朱利安·吉列梅特;斯特凡·莫尼尔

Haskell中的类型安全代码转换。 （英文） Zbl 1277.68049号

Stump，Aron（ed.）等人，《编程语言程序符合程序验证》（PLPV 2006），西雅图，华盛顿州，美国，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第7期，23-39（2007）。
MSC公司：68甲18 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.-J.Guillemette}和\textit{S.Monnier}，电子。注释Theor。计算。科学。174，第7号，23-39（2007；Zbl 1277.68049）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件