×

找到47个文档(结果1-47)

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

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

wqos和bqos的反向数学。 (英语) Zbl 1496.03035号

Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 189-219 (2020).
PDF格式BibTeX公司 XML格式引用

关于好拟阶和有限反链阶中的序数不变量。 (英语) Zbl 1481.03046号

Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 29-54 (2020).
PDF格式BibTeX公司 XML格式引用

关联组件的代数研究。 (英语) Zbl 1486.68100号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226, 109-126 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用偏序证明线性化能力。 (英语) Zbl 1485.68084号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 639-667 (2017).
PDF格式BibTeX公司 XML格式引用

无限大小的值约束语言的Galois连接。 (英语) Zbl 1440.68115号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9134, 517-528 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分层最小不动点的方程性质(扩展抽象)。 (英语) 兹比尔1465.68169

Paiva,Valeria(编辑)等人,《逻辑、语言、信息和计算》。第22届国际研讨会,2015年7月20日至23日,美国印第安纳州布卢明顿,WoLLIC。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9160, 174-188 (2015).
PDF格式BibTeX公司 XML格式引用

关于连续不确定性和状态极小。 (英语) Zbl 1337.68171号

Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308,3-23,仅电子版(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调布尔变换器代数。 (英语) 兹比尔1349.68051

Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学讲义7021140-155(2011)。
MSC公司:68号30 06E30年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

序数和线性顺序上的自动机。 (英语) Zbl 1259.03053号

Löwe,Benedikt(编辑)等人,《上下文中的计算模型》。2011年6月27日至7月2日在保加利亚索非亚举行的第七届欧洲可计算性会议,CiE 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21874-3/pbk)。计算机科学课堂讲稿6735,252-259(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在不断变化的世界中学习,代数模态逻辑方法。 (英语) Zbl 1308.68111号

Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,128-141(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自由Heyting代数:重温。 (英语) Zbl 1238.06007号

亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728251-266(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MV-代数和Łukasiewicz逻辑的连接词中的隐式运算。 (英语) Zbl 1122.03018号

Aguzzoli,Stefano(编辑)等,非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林:施普林格出版社(ISBN 978-3-540-75938-6/pbk)。计算机科学课堂讲稿4460。《人工智能课堂讲稿》,50-68页(2007年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份