×

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

最新的 引文 关联
克莱门·奥伯特;彼得·布朗宁

可逆分布式微积分的实现。 （英语） Zbl 07786603号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 210-217 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603）
全文： 内政部 哈尔
克莱门·奥伯特

可逆并发计算中的复制。 （英语） Zbl 07786592号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 15-23 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13960，15--23（2023；Zbl 07786592）
全文： 内政部 哈尔
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒

分配和并行化非规范循环。 （英语） Zbl 1529.68078号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 1-24 (2023).
MSC公司：68纳米30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。13881，1--24（2023；Zbl 1529.68078）
全文： 内政部 哈尔
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒

mwp分析改进与实现：实现隐式计算复杂性。 （英语） Zbl 07853732号

Felty，Amy P.（编辑），第七届计算和扣除正式结构国际会议，FSCD 2022，以色列海法，2022年8月2-5日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。228，第26条，第23页（2022）。
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，LIPIcs——莱布尼茨国际程序。通知。228，第26条，第23页（2022；Zbl 07853732）
全文： 内政部 arXiv公司
克莱门·奥伯特;罗斯·霍恩;克里斯蒂安·约翰森

互不干涉应用（pi）演算中关于持续时间和因果关系的互模拟。 （英语） Zbl 1532.68032号

Castiglioni，Valentina（编辑）等人，第29届并发表达性国际研讨会和第19届结构操作语义研讨会合集，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）368，3-22（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，《电子》。程序。西奥。计算。科学。（EPTCS）368，3--22（2022；Zbl 1532.68032）
全文： arXiv公司 链接
克莱门·奥伯特

可逆并发计算中的并发性。 （英语） Zbl 07615947号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 146-163 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13354，146-163（2022；Zbl 07615947）
全文： 内政部 哈尔
克莱门·奥伯特;多里亚娜·梅迪奇

可逆并发演算中的显式标识符和上下文。 （英语） 兹比尔1476.68093

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 144-162 (2021).
MSC公司：2009年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{D.Medić}，莱克特。注释计算。科学。12805、144--162（2021；Zbl 1476.68093）
全文： 内政部 arXiv公司 链接
克莱门·奥伯特;爱荷华州克里斯特斯库

可逆性如何解决传统问题：以遗传历史保护相互模拟为例。 （英语） Zbl 07559463号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第7条，第23页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛C.Aubert｝和\textit｛I.Cristescu｝，LIPIcs——莱布尼茨国际期刊。通知。171，第7条，23 p.（2020；Zbl 07559463）
全文： 内政部 arXiv公司
克莱门·奥伯特;马克·巴格诺尔

统一和对数空间。 （英语） Zbl 1447.68005号

日志。方法计算。科学。 14，第3号，第6号论文，21页（2018年）.
审核人：吉列尔莫·莫拉莱斯·卢纳（墨西哥城）
MSC公司：2015年第68季度 03楼52 68N17号 第68季度第42季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{M.Bagnol}，日志。方法计算。科学。14，第3号，第6号论文，21页（2018；Zbl 1447.68005）
全文： 内政部 arXiv公司
克莱门·奥伯特;马克·巴格诺尔;托马斯·塞勒

一元分辨率：表征Ptime公司. （英语） Zbl 1475.68133号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 373-389 (2016).
MSC公司：2015年第68季度 03B70号 03楼52 68N17号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。9634373-389（2016年；兹比尔1475.68133）
全文： 内政部
克莱门·奥伯特;爱荷华州克里斯特斯库

构型结构上的可逆倒刺同余。 （英语） Zbl 1433.68230号

Knight，Sophia（编辑）等人，《第八届交互和并发体验研讨会论文集》，ICE’15，法国格勒诺布尔，2015年6月4-5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）189，68-85（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{I.Cristescu}，电子。程序。西奥。计算。科学。（EPTCS）189，68--85（2015；Zbl 1433.68230）
全文： arXiv公司 链接
克莱门·奥伯特;马克·巴格诺尔;保罗·皮斯通;托马斯·塞勒

逻辑编程和对数空间。 （英语） Zbl 1453.68033号

Garrigue，Jacques（编辑），《编程语言与系统》。第12届亚洲研讨会，APLAS 2014，新加坡，2014年11月17日至19日，会议记录。柏林：斯普林格。莱克特。注释计算。科学。8858, 39-57 (2014).
MSC公司：68N17号 03B70号 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}等人，Lect。注释计算。科学。8858，39-57（2014；Zbl 1453.68033）
全文： 内政部 arXiv公司
克莱门·奥伯特;马克·巴格诺尔

统一和对数空间。 （英语） Zbl 1416.68076号

Dowek，Gilles（编辑），重写并键入lambda calculi。2014年7月14日至17日在奥地利维也纳举行的RTA-TLCA 2014联合国际会议，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8560, 77-92 (2014).
MSC公司：2015年第68季度 03楼52 68N17号 第68季度第42季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{M.Bagnol}，莱克特。注释计算。科学。8560，77-92（2014；Zbl 1416.68076）
全文： 内政部 arXiv公司 哈尔
克莱门·奥伯特

亚对数统一布尔证明网。 （英语） Zbl 1457.68113号

Jean-Yves Marion（编辑），隐式计算复杂性发展第二次研讨会，德国萨尔布吕肯，2011年4月2日至3日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）75，15-27（2012）。
MSC公司：2015年第68季度 03楼52 2006年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，电子。程序。西奥。计算。科学。（EPTCS）75，15--27（2012；Zbl 1457.68113）
全文： arXiv公司 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件