×

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

最新的 引文 关联
彼得·吉普森；塔德乌什·利塔克

对聚束暗示和分离逻辑的代数一瞥。 （英语） 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公司
伦纳特·贝林格

已验证的软件单元。 （英语） Zbl 1473.68035号

Yoshida，Nobuko（编辑），《编程语言与系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 118-147 (2021).
MSC公司：68甲15 03B70号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Beringer}，莱克特。注释计算。科学。12648118-147（2021年；Zbl 1473.68035）
全文： 内政部
徐兆伟；张文辉；隋、岳飞

霍尔逻辑相对于标准模型的完整性。 （英语） Zbl 1444.03122号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 119-131 (2017).
MSC公司：03B70号 03C62号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Xu}等人，Lect。注释计算。科学。10139、119--131（2017；Zbl 1444.03122）
全文： 内政部 arXiv公司
贝洛·卢伦索（Cláudio）；玛丽亚·乔·弗雷德；豪尔赫·索萨·平托

形式化单任务程序验证：一种适应-完成方法。 （英语） Zbl 1335.68044号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，41-67（2016）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Belo Lourenço}等人，Lect。注释计算。科学。9632，41-67（2016年；兹比尔1335.68044）
全文： 内政部 链接
汉斯·沃夫冈·洛伊德；古德蒙德·格罗夫

嵌入式系统语言休谟中的资源推理。 （英语） Zbl 1445.68044号

Dal Lago，Ugo（编辑）等人，《资源分析的基础和实践方面》。2013年8月29日至31日，第三届国际研讨会，FOPARA 2013，意大利贝蒂诺罗。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。第8552110-126页（2014年）。
MSC公司：68甲15 03B70号 68平方米 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{H.-W.Loidl}和\textit{G.Grov}，莱克特。注释计算。科学。8552、110-126（2014；Zbl 1445.68044）
全文： 内政部
埃德斯科·德·弗里斯；瓦西里欧斯·库塔瓦斯

反转Hoare逻辑。 （英语） Zbl 1349.03028号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041155-171（2011）。
MSC公司：03B70号 68号30 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit｛E.de Vries｝和\textit｛V.Koutavas｝，Lect。注释计算。科学。7041155--171（2011年；Zbl 1349.03028）
全文： 内政部
艾亚德·阿尔卡萨；Hillebrand，Mark A。；德克·莱恩巴赫（Dirk C.Leinenbach）。；Norbert W.席尔默。；阿特姆·斯塔罗斯汀；亚历山德拉·茨班

平衡负载。利用语义堆栈进行系统验证。 （英语） Zbl 1191.68407号

J.汽车。推理 42，编号2-4，389-454（2009）.
MSC公司：60年第68季度 68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Alkassar}等人，J.Autom。推理42，No.2--4，389--454（2009；Zbl 1191.68407）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件