×

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

最新的 引文 关联
罗伯特·格莱克；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；亚洛斯·阿·亚当·米兹扎克；伊恩·菲利普斯；伊雷克·乌利多夫斯基；德国维达尔

对可逆计算方法进行分类。 （英语） Zbl 07786593号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13960, 24-39 (2023).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}等人，Lect。票据计算。科学。13960，24-39（2023；Zbl 07786593）
全文： 内政部
詹姆斯·霍伊；伊雷克·乌利多夫斯基

面向命令式并发程序的因果一致可逆性。 （英语） Zbl 07615952号

Mezzina，Claudio Antares（编辑）等人，可逆计算。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13354, 213-223 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。票据计算。科学。13354、213--223（2022；Zbl 07615952）
全文： 内政部
伊万·拉内斯；伊恩·菲利普斯；伊雷克·乌利多夫斯基

可逆计算的公理方法。 （英语） Zbl 07250951号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12077, 442-461 (2020).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}等人，Lect。票据计算。科学。12077、442--461（2020；Zbl 07250951）
全文： 内政部
詹姆斯·霍伊；伊雷克·乌利多夫斯基

可逆命令式并行程序和调试。 （英语） 兹比尔1527.68035

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。票据计算。科学。11497, 108-127 (2019).
MSC公司：第68页第19页 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。票据计算。科学。11497，108-127（2019；Zbl 1527.68035）
全文： 内政部 链接
詹姆斯·霍伊；伊雷克·乌利多夫斯基；元朗，昭治

用块和过程反转并行程序。 （英语） 兹比尔1525.68021

Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27669-86（2018）。
MSC公司：第68页第19页 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}等人，《电子》。程序。西奥。计算。科学。（EPTCS）276，69--86（2018；Zbl 1525.68021）
全文： arXiv公司 链接
詹姆斯·霍伊；伊雷克·乌利多夫斯基；元朗，昭治

反转命令式并行程序。 （英语） Zbl 1483.68079号

Peters，Kirstin（编辑）等人，《第24届并发表达性国际研讨会和第14届结构操作语义研讨会联合会议论文集》，EXPRESS/SOS 2017，德国柏林，2017年9月4日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）255，51-66（2017）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}等人，《电子》。程序。西奥。计算。科学。（EPTCS）255，51--66（2017；Zbl 1483.68079）
全文： arXiv公司 链接
斯特凡·库恩；伊雷克·乌利多夫斯基

局部可逆性的微积分。 （英语） Zbl 1476.68175号

Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9720, 20-35 (2016).
MSC公司：68问题85 2010年第68季度 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kuhn}和\textit{I.Ulidowski}，莱克特。票据计算。科学。9720，20-35（2016年；兹比尔1476.68175）
全文： 内政部 链接
斯特凡·库恩；伊雷克·乌利多夫斯基

朝向局部可逆性建模。 （英语） Zbl 1464.68113号

Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，第七届国际会议，RC 2015，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9138, 279-284 (2015).
MSC公司：2009年第68季度 68问题85 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Kuhn}和\textit{I.Ulidowski}，莱克特。票据计算。科学。9138279--284（2015；Zbl 1464.68113）
全文： 内政部
伊恩·菲利普斯；伊雷克·乌利多夫斯基；元朗，昭治

可逆过程演算和ERK信号通路的建模。 （英语） Zbl 1451.68124号

Glück，Robert（编辑）等人，《可逆计算》。2012年7月2日至3日，第四届国际研讨会，RC 2012，丹麦哥本哈根。修订论文。柏林：斯普林格。莱克特。票据计算。科学。第7581页，第218-232页（2013年）。
MSC公司：2010年第68季度 68问题85 92立方37
PDF格式BibTeX公司 XML格式引用
\textit{I.Phillips}等人，Lect。票据计算。科学。7581、218--232（2013；Zbl 1451.68124）
全文： 内政部
伊恩·菲利普斯；伊雷克·乌利多夫斯基

过程代数中可逆性的操作语义。 （英语） Zbl 1316.68103号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，281-286（2006）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.Phillips}和\textit{I.Ulidowski}，电子。注释Theor。计算。科学。162281--286（2006年；Zbl 1316.68103）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件