×

找到52份文件(结果1-52)

格型归纳法及其在概率程序中的应用。 (英语) Zbl 1493.68204号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。12760, 524-549 (2021).
PDF格式BibTeX公司 XML格式引用

关于常识的公理化。 (英语) Zbl 07585720号

Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。309-328 (2020).
MSC公司:03B45
PDF格式BibTeX公司 XML格式引用

分层归纳定义理论的证明理论分析。 (英语) Zbl 1380.03071号

Kahle,Reinhard(编辑)等人,Gentzen百年诞辰。追求一致性。查姆:施普林格(ISBN 978-3-319-10102-6/pbk;978-3-3169-10103-3/ebook)。425-454 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

公平、资源和分离。 (英语) Zbl 1342.68072号

Mislove,Michael(ed.)等人,《第26届编程语义数学基础会议论文集》(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265177-195(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数完备半环中的Greibach正规形式。 (英语) Zbl 1020.68056号

朱利安·布拉德菲尔德(编辑),《计算机科学逻辑》。第16届国际研讨会,CSL 2002,EACSL第11届年会,苏格兰爱丁堡,英国,2002年9月22日至25日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2471, 135-150 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

归纳、博弈和线性排序。 (英语) Zbl 0929.03044号

Caicedo,Xavier(编辑)等人,《模型、代数和证明》。1995年6月24日至29日,哥伦比亚波哥大,第十届拉丁美洲数理逻辑研讨会论文集。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。203, 119-134 (1999).
PDF格式BibTeX公司 XML格式引用

实线上的归纳和递归。 (英语) 兹伯利0841.03026

Hankin,C.(编辑)等人,《计算的理论和形式方法》94。1994年9月11日至14日在英国剑桥举行的第二届帝国理工学院研讨会论文集。新加坡:帝国理工学院出版社(世界科学出版社发行)。259-282 (1995).
PDF格式BibTeX公司 XML格式引用

遍历作用和子因子的耦合和Yang-Baxter方程。 (英语) Zbl 0809.46079号

算子代数及其应用。第2卷:数学物理和子因素,巴普。英国-美国Jt。塞明。,沃里克/英国1987年,伦敦。数学。Soc.Lect(社会学)。注释序列号。136, 203-236 (1988).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份