×

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

最新的 引文 关联
罗伯特·J·科尔文。

弱内存模型下数组和指针的细粒度语义。 （英语） Zbl 1529.68177号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 301-320 (2023).
MSC公司：68问题85 68甲19 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Colvin}，莱克特。注释计算。科学。14000，301-320（2023；Zbl 1529.68177）
全文： 内政部
彼得·吉普森；塔德乌什·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） 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公司
马可·米兰尼斯；弗朗西斯科·兰扎托

带测试的Kleene代数上的局部完备性逻辑。 （英语） Zbl 1524.68098号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 350-371 (2022).
MSC公司：68号30 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Milanese}和\textit{F.Ranzato}，莱克特。注释计算。科学。13790、350-371（2022年；Zbl 1524.68098）
全文： 内政部 arXiv公司 链接
伊戈尔·塞德拉尔；Johann J.Wannenburg。

通过测试将Kozen-Tiuryn逻辑嵌入到剩余的单排序Kleene代数中。 （英语） Zbl 07691325号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 221-236 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛I.Sedlár｝和\textit｛J.Wannenburg｝，Lect。注释计算。科学。13468、221--236（2022；Zbl 07691325）
全文： 内政部 arXiv公司
Damien Pous；朱里安·罗特；工资制造者，贾纳

关于带假设的Kleene代数完备性工具。 （英语） Zbl 07670530号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 378-395 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Pous}等人，Lect。注释计算。科学。13027378--395（2021；Zbl 07670530）
全文： 内政部 arXiv公司 哈尔
伯恩哈德·莫勒；彼得·奥赫恩；你好，托尼

关于程序正确性和错误性的代数。 （英语） Zbl 07670527号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13027, 325-343 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{B.Möller}等人，Lect。注释计算。科学。13027325--343（2021；Zbl 07670527）
全文： 内政部
西蒙·福斯特；韦尔塔·Y·穆尼夫，乔纳森·朱利安；乔治·斯特鲁斯

带Isabelle/HOL的混合系统的微分Hoare逻辑和精化计算。 （英语） Zbl 07578341号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 169-186 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Foster}等人，Lect。注释计算。科学。12062、169--186（2020；Zbl 07578341）
全文： 内政部 arXiv公司 链接
托比亚斯·卡佩；保罗·布鲁内特；朱里安·罗特；亚历山德拉·席尔瓦；工资制造者，贾纳；法比奥·扎纳西

带观察的克莱恩代数。 （英语） Zbl 07649949号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第41条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Kappé}等人，LIPIcs——莱布尼茨国际程序。通知。140，第41条，第16页（2019；Zbl 07649949）
全文： 内政部 arXiv公司
达斯，阿努帕姆；Damien Pous

（Kleene+作用）（代数+格）的非完备性证明理论。 （英语） Zbl 1528.03234号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018年）。
MSC公司：05年3月 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；Zbl 1528.03234）
全文： 内政部
阿米娜·杜曼；Damien Pous

无恒等Kleene格的完备性。 （英语） Zbl 1520.68055号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第18条，第17页（2018年）。
MSC公司：65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Doumane}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。118，第18条，第17页（2018；Zbl 1520.68055）
全文： 内政部
德克斯特·科赞

关于Kleene代数的余代数理论与测试。 （英语） Zbl 1437.68125号

巴什肯特（Baškent，Can）（编辑）等人，《逻辑、语言和社会》（Rohit Parikh on logic，language and society）。查姆：斯普林格。Outst公司。控制日志。11279-298（2017年）。
MSC公司：70年第68季度 60年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kozen}，Outst（输出）。控制日志。11279-298（2017年；兹比尔1437.68125）
全文： 内政部
萨宾·布罗达；西尔维亚卡瓦达斯；米盖尔·费雷拉；内尔玛·莫雷拉

用导数判定同步Kleene代数。 （英语） Zbl 1465.68192号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 49-62 (2015).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，Lect。注释计算。科学。9223，49-62（2015；Zbl 1465.68192）
全文： 内政部 链接
布里杰什·多戈尔；维克托·戈梅斯。；乔治·斯特鲁斯

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

Hinze，Ralf（编辑）等人，《程序构建的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).
MSC公司：68号30 03B70号 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，Lect。注释计算。科学。9129，137--158（2015；Zbl 1432.68071）
全文： 内政部 arXiv公司 链接
乔瓦尼·卢塞罗；戴维·诺曼；奥古斯托·桑帕约

编程法则供参考。 （英语） Zbl 1426.68057号

Shan，Chung-chieh（编辑），《编程语言和系统》。第十一届亚洲研讨会，2013年APLAS，澳大利亚维多利亚州墨尔本，2013年12月9-11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8301, 124-139 (2013).
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{G.Lucero}等人，Lect。注释计算。科学。8301124-139（2013；Zbl 1426.68057）
全文： 内政部
内尔玛·莫雷拉；大卫·佩雷拉；梅洛·德·索萨，西蒙

确定Coq中正则表达式（in-）的等价性。 （英语） Zbl 1330.68265号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿756098-113（2012）。
MSC公司：68吨15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Moreira}等人，Lect。注释计算。科学。7560，98-113（2012；Zbl 1330.68265）
全文： 内政部
你好，托尼；范·斯塔登（Stephan van Staden）

编程法则统一了过程计算。 （英语） Zbl 1358.68064号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。《计算机科学讲义》7342，7-22（2012）。
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}和\textit{S.van Staden}，莱克特。注释计算。科学。7342，7--22（2012；Zbl 1358.68064）
全文： 内政部
JoséN·奥利维拉。

使用无点变换通过计算扩展静态检查。 （英语） Zbl 1250.68093号

Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲义5520195-251（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；兹比尔1250.68093）
全文： 内政部 链接
朱尔斯·德沙奈斯；乔治·斯特鲁斯

近半环族的域公理。 （英语） Zbl 1170.68514号

Meseguer，José（编辑）等人，代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79979-5/pbk）。计算机科学课堂讲稿5140330-345（2008）。
MSC公司：60年第68季度 2016年60月
PDF格式BibTeX公司 XML格式引用
\textit{J.Desharnais}和\textit{G.Struth}，莱克特。注释计算。科学。5140330-345（2008年；Zbl 1170.68514）
全文： 内政部
詹姆斯·沃辛顿

Kleene代数中的自动证明生成。 （英语） Zbl 1140.68042号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届克莱恩代数应用国际会议，2008年4月7日至11日，德国弗劳恩沃思，RelMiCS/AKA 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78912-3/pbk）。计算机科学课堂讲稿4988，382-396（2008）。
MSC公司：70年第68季度 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.沃辛顿}，莱克特。注释计算。科学。4988、382--396（2008年；Zbl 1140.68042）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件