×

找到108个文档(结果1-100)

带存储的加权自动机的近似。 (英语) Zbl 1483.68161号

Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256、91-105(2017)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

带粘合剂的动态逻辑及其在反应系统开发中的应用。 (英语) Zbl 1482.68143号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第13届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9965, 422-440 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

函数搜索树的自动函数正确性证明。 (英语) Zbl 1478.68065号

Blanchette,Jasmin Christian(编辑)等人,交互定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9807, 307-322 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程语言中的类型,介于建模、抽象和正确性(扩展抽象)之间。 (英语) Zbl 1475.68049号

贝克曼,阿诺德(编辑)等人,《追求宇宙》。2016年6月27日至7月1日,在法国巴黎举行的第12届欧洲可计算性会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9709, 164-169 (2016).
MSC公司:68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑关系和参数——用于范畴理论和编程语言的Reynolds程序。 (英语) Zbl 1337.68052号

Power,John(ed.)等人,《代数、余代数和拓扑学研讨会论文集》(WACT 2013),英国巴斯,2013年3月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记303149-180,仅电子版(2014)。
MSC公司:68甲15 68号30 68-02
PDF格式BibTeX公司 XML格式引用
全文: 内政部

传递分离逻辑。 (英语) Zbl 1330.03070号

Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,1-16(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

为并发和数据构建模式接口理论。 (英语) 兹比尔1312.68149

Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学讲义7137,1-12(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

WP语义和行为子类型。 (英语) Zbl 1351.68167号

Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,154-172(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

党派性、状态性和从属类型。 (英语) Zbl 1331.03020号

Ong,Luke(编辑),《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21690-9/pbk;978-3-662-21691-6/电子书)。计算机科学讲座笔记6690198-212(2011)。
MSC公司:03B40型 03年11月15日 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Java动态逻辑中的动态帧。 (英语) Zbl 1308.68046号

Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。2010年6月28日至30日,法国巴黎,FoVeOOS 2010国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528,138-152(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于不变量的程序的数据细化。 (英语) Zbl 1342.68095号

Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会会议记录(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259,143-163(2009)。
MSC公司:68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语法趋同导论。 (英语) 兹比尔1211.68092

Leuschel,Michael(编辑)等人,《综合形式方法》。2009年2月16日至19日,德国杜塞尔多夫,第七届国际会议,IFM 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423246-260(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

按值调用编程语言中数据优化的公理。 (英语) Zbl 1336.68032号

Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,281-302(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数据精化的范畴理论模型。 (英语) Zbl 1336.68035号

Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,21-38(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非层次对象结构的不变量。 (英语) Zbl 1279.68058号

Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195,211-229(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于在对象模型和面向对象程序之间建立形式一致性的框架。 (英语) Zbl 1279.68057号

Moreira,Anamaria Martins(编辑)等人,《巴西正式方法研讨会论文集》(SBMF 2006),Natal,Rio Grande de Norte,巴西,2006年9月17日至23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记195189-209(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多态和递归类型的句法关系。 (英语) Zbl 1277.68119号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,259-299(2007)。
MSC公司:68问题55 03B40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具体模型类别中的行为满意度和等效性。 (英语) Zbl 1508.68207号

Kirchner,Hélène(编辑),代数和编程中的树——CAAP’96。第21届国际学术讨论会,1996年4月22日至24日,瑞典林雪平。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1059241-256(1996年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

TAPSOFT的十年。软件开发理论和实践方面的进展和前景。 (英语) Zbl 1496.68077号

Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。第六届CAAP/FASE国际联席会议,1995年5月,丹麦奥胡斯。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 3-24 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明行为实施的正确性。 (英语) Zbl 1496.68199号

Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。936, 152-168 (1995).
MSC公司:68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将系统构建为对象社区。 (英语) 兹比尔1497.68336

Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 453-467 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过使用保护和活动条件来指定和优化TCSP进程的技术。 (英语) Zbl 1497.68318号

Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 328-342 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通信系统语言之间的接口。 (英语) Zbl 1425.68300号

Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 641-655 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件