×

找到325个文档（结果1–100）

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

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

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

走向去可逆化：静态地减少断言。 （英语） Zbl 07786598号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.W.Reholt}等人，Lect。注释计算。科学。13960、106-114（2023；Zbl 07786598）
全文： DOI程序
尼古拉斯·德沃雷茨基；卢卡斯·盖尔

可逆控制流图的优化。 （英语） Zbl 07786595号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 57-72 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛N.Deworetzki｝和\textit｛L.Gail｝，Lect。注释计算。科学。13960，57-72（2023；Zbl 07786595）
全文： DOI程序
罗伯特·格莱克；伊万·拉内斯；克劳迪奥·安塔雷斯·梅齐纳；亚洛斯·阿·亚当·米兹扎克；伊恩·菲利普斯；伊雷克·乌利多夫斯基；德国维达尔

朝向可逆计算方法的分类。 （英语） Zbl 07786593号

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

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

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 15-23 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13960，15--23（2023；Zbl 07786592）
全文： DOI程序 哈尔
喂，艾哈迈特·塞拉尔·杰姆

计算的能量复杂性。 （英语） Zbl 07786591号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 3-11 (2023).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.C.C.说}，Lect。注释计算。科学。13960，3-11（2023；Zbl 07786591）
全文： DOI程序
朱成凯；黄振宇

优化线性层的量子实现的深度。 （英语） Zbl 1530.81060号

邓毅（编辑）等，《信息安全与密码学》。2022年12月11日至13日，第18届国际会议，Inscrypt 2022，中国北京。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13837, 129-147 (2023).
MSC公司：81页94 94磅70 94A60型 81页70 47号70 81页68 81S22号 68平方米25 81页65 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{C.Zhu}和\textit{Z.Huang}，Lect。注释计算。科学。13837129-147（2023年；Zbl 1530.81060）
全文： DOI程序
德米特里五世·扎卡布卢科夫。

收缩：由NOT、CNOT和2-CNOT门组成的可逆电路的合成，带有少量附加输入。 （英语。俄文原件） Zbl 1509.94179号

离散数学。申请。 32，第6号，439-444（2022）; 从Diskretn翻译。材料33，编号3，46-54（2021）；收回注释离散数学。申请。32，第6期，第418页（2022年）。
MSC公司：94C11号机组 2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Zakablukov}，离散数学。申请。32，编号6，439--444（2022；Zbl 1509.94179）；从Diskretn翻译。材料33，编号3，46-54（2021）；收回注释离散数学。申请。第64218号（2021）
全文： DOI程序
尼古拉斯·德沃雷茨基；马丁·库特里布；乌韦·迈耶；皮亚·多琳·里兹克

优化可逆程序。 （英语） Zbl 07615953号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 224-238 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{N.Deworetzki}等人，Lect。注释计算。科学。13354、224--238（2022；Zbl 07615953）
全文： DOI程序
詹姆斯·霍伊；伊雷克·乌利多夫斯基

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

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 213-223 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。注释计算。科学。13354、213--223（2022；Zbl 07615952）
全文： DOI程序
池田、高石；袁，Shoji

带有契约的命令式并行程序的可逆调试器。 （英语） Zbl 07615951号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 204-212 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Ikeda}和\textit{S.Yuen}，Lect。注释计算。科学。13354、204--212（2022；Zbl 07615951）
全文： DOI程序
彼得罗·拉米；伊万·拉内斯；Jean-Bernard斯特凡尼；克劳迪奥·萨切多蒂·科恩；乔瓦尼·法布雷蒂

Erlang中的可逆性：祈使结构。 （英语） Zbl 07615950号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 187-203 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{P.Lami}等人，Lect。注释计算。科学。13354、187--203（2022；Zbl 07615950）
全文： DOI程序 哈尔
汉娜·厄利

\（\aleph\）-演算。可逆编程的声明模型。 （英语） 兹伯利07615948

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354164-171（2022）。
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Earley}，莱克特。注释计算。科学。13354、164--171（2022年；Zbl 07615948）
全文： DOI程序 arXiv公司
尼古拉斯·德沃雷茨基；乌韦·迈耶

设计可逆堆垛机。 （英语） Zbl 07615942号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 65-72 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{N.Deworetzki}和\textit{U.Meyer}，莱克特。注释计算。科学。13354，65-72（2022；Zbl 07615942）
全文： DOI程序
亚历克西斯·德沃斯

集成光子学中的可逆计算。 （英语） Zbl 07615938号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。2022年7月5日至6日，第14届国际会议，RC 2022，意大利乌尔比诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 3-19 (2022).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.De Vos}，莱克特。注释计算。科学。13354，3-19（2022；Zbl 07615938）
全文： DOI程序
盛田贤一

可逆初等三角剖分元胞自动机及其复杂行为。 （英语） Zbl 07607376号

Adamatzky，Andrew（编辑），《自动化与复杂性》。埃里克·戈尔斯70岁生日礼物。查姆：斯普林格。Emerg.复杂。计算。42, 359-381 (2022).
审核人：托马斯·沃德（达勒姆）
MSC公司：68问题80 2004年第68季度 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{K.Morita}，新兴复合体。计算。42359-381（2022年；兹bl 07607376）
全文： DOI程序
德米特里五世·扎卡布卢科夫。

关于由NOT、CNOT、2-CNOT门和少量附加输入组成的可逆电路的综合。 （英语。俄文原件） Zbl 1509.94177号

离散数学。申请。 32，编号4，279-284（2022）; 从Diskretn翻译。材料33，编号3，46-53（2021）。
MSC公司：94C11号机组 2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Zakablukov}，离散数学。申请。32，编号4，279--284（2022；Zbl 1509.94177）；从Diskretn翻译。材料33，编号3，46-53（2021）
全文： DOI程序
阿尤布·斯利马尼；阿科尔·本斯拉马；尼拉杰·库马尔·米斯拉

使用新型量子门的可逆/量子解码电路的优化设计。 （英语） Zbl 1487.81051号

国际J.Theor。物理学。 61，第3号，第72号论文，第19页（2022年）.
MSC公司：81页68 94C11号机组 81页第45页 68个月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Slimani}等人，国际期刊Theor。物理学。61，第3号，第72号论文，第19页（2022年；Zbl 1487.81051）
全文： DOI程序
伊娃·格拉弗森；伊恩·菲利普斯；吉田、Nobuko

可逆早期内部演算的事件结构。 （英语） 兹比尔1482.68152

J.日志。阿尔盖布。方法计划。 124，文章ID 100720，46 p.（2022）.
审核人：T.C.Mohan（钦奈）
MSC公司：68问题85 2009年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛E.Graversen｝等人，J.Log。阿尔盖布。方法计划。124，文章ID 100720，46页（2022；兹bl 1482.68152）
全文： DOI程序 链接
刘玉盘

StoqMA符合分布测试。 （英语） Zbl 07701524号

谢敏秀（主编），第16届量子计算、通信和密码学理论会议，虚拟会议，TQC 20212021年7月5日至8日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。197，第4条，22页（2021年）。
MSC公司：81页68 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}，LIPIcs——莱布尼茨国际程序。通知。197，第4条，22 p.（2021；Zbl 07701524）
全文： DOI程序 arXiv公司
克劳迪奥·莫拉加

OR-Toffoli和OR-Peres可逆门。 （英语） Zbl 07419497号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 266-273 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.Moraga}，莱克特。注释计算。科学。12805、266--273（2021；Zbl 07419497）
全文： DOI程序
安东尼奥·考伊；斯特凡·库恩；詹姆斯·霍伊

可执行区间时序逻辑规范的可逆性。 （英语） Zbl 07419492号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 214-223 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.Cau}等人，Lect。注释计算。科学。12805、214--223（2021；Zbl 07419492）
全文： DOI程序 arXiv公司
克莱门·奥伯特；多里亚娜·梅迪奇

可逆并发演算中的显式标识符和上下文。 （英语） Zbl 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）
全文： DOI程序 arXiv公司 链接
埃尔南·梅尔格拉蒂；克劳迪奥·安塔雷斯·梅齐纳；G.Michele Pinna

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： DOI程序 哈尔
乔瓦尼·法布雷蒂；伊万·拉内斯；Jean-Bernard斯特凡尼

分布式Erlang程序的因果一致调试。 （英语） Zbl 07419484号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 79-95 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{G.Fabbretti}等人，Lect。注释计算。科学。12805，79-95（2021；Zbl 07419484）
全文： DOI程序 哈尔
马丁·库特里布；乌韦·迈耶；尼古拉斯·德沃雷茨基；马克·舒斯特

将Janus编译为RSSA。 （英语） Zbl 07419483号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 64-78 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。12805，64-78（2021；Zbl 07419483）
全文： DOI程序
盛田贤一

我们如何在一个非常简单的可逆元胞自动机中构造可逆图灵机？ （英语） Zbl 07419480号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 3-21 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.Morita}，莱克托。注释计算。科学。12805，3-21（2021；Zbl 07419480）
全文： DOI程序
德米特里五世·扎卡布卢科夫。

由NOT、CNOT和2-CNOT门组成的可逆电路的复杂性和深度依赖于额外输入的数量。 （英语。俄文原件） Zbl 1499.68107号

离散数学。申请。 31，编号1，61-75（2021）; 从Diskretn翻译。材料32，第1号，8-26（2020年）。
MSC公司：2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Zakablukov}，离散数学。申请。31，编号1，61-75（2021；Zbl 1499.68107）；从Diskretn翻译。材料32，编号1，8-26（2020）
全文： DOI程序
哈米德·拉科伊；奥维迪乌·拉杜列斯库；托马斯·斯特姆

检测可逆化学反应网络稳态理想二项式的线性代数方法。 （英语） Zbl 07635848号

Boulier，François（编辑）等人，《科学计算中的计算机代数》。第22届国际研讨会，CASC 2020，奥地利林茨，2020年9月14日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12291, 492-509 (2020).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Rahkooy}等人，Lect。注释计算。科学。12291、492--509（2020；Zbl 07635848）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
拉维·阿南德；阿皮塔·迈特拉；苏拉夫·穆霍帕德海伊

基于SPECK的量子密码分析评估。 （英语） Zbl 1500.81021号

Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13日至16日，印度班加罗尔，第21届印度密码学国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578, 395-413 (2020).
MSC公司：81页94 94A60型 81页68 2006年第68季度 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{R.Anand}等人，Lect。注释计算。科学。12578，395--413（2020；Zbl 1500.81021）
全文： DOI程序
池田、高石；袁，Shoji

并行程序的可逆运行时环境。 （英语） Zbl 07368062号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 272-279 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Ikeda}和\textit{S.Yuen}，Lect。注释计算。科学。12227、272--279（2020；Zbl 07368062）
全文： DOI程序
卡洛斯·加林多；直纪西田；乔塞普·席尔瓦；萨尔瓦多塔马利特

ReverCSP：CSP计算中的时间旅行。 （英语） Zbl 07368058号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 239-245 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛C.Galindo｝等人，Lect。注释计算。科学。12227239-245（2020年；兹bl 07368058）
全文： DOI程序
蒂姆·博伊基特

可逆门集的最大值。 （英语） Zbl 07368056号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 206-217 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.Boykett}，莱克特。注释计算。科学。12227206-217（2020；Zbl 07368056）
全文： DOI程序 arXiv公司
德布鲁吉埃，蒂莫塞·古堡；马克·巴布林；贝诺缬氨酸；西蒙·马蒂尔；西里尔·阿洛奇

使用综合征解码问题的NISQ体系结构的量子CNOT电路合成。 （英语） Zbl 07368055号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 189-205 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{T.G.de Brugière}等人，莱克特。注释计算。科学。12227、189--205（2020；Zbl 07368055）
全文： DOI程序
陈朝红；维克拉曼·乔杜里；雅克·卡雷特；阿穆尔·萨布里

分数类型。辅助设备位的表达和安全空间管理。 （英语） Zbl 07368054号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227169-186（2020年）。
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{C.-H.Chen}等人，Lect。注释计算。科学。12227，169--186（2020；Zbl 07368054）
全文： DOI程序 arXiv公司
霞多丽、科斯蒂亚；亚历克西斯·索林；贝诺缬氨酸

线性可逆计算的咖喱-霍华德等价。工作成果。 （英语） Zbl 07368052号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日，挪威奥斯陆，第12届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 144-152 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.霞多丽}等人，莱克特。注释计算。科学。12227，144--152（2020；Zbl 07368052）
全文： DOI程序
阿曼多·马托斯（Armando B.Matos）。；卢卡·保里尼；卢卡·罗维斯

关于全可逆程序设计语言的表达性。 （英语） Zbl 07368051号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 128-143 (2020).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Matos}等人，Lect。注释计算。科学。12227，128--143（2020；Zbl 07368051）
全文： DOI程序
中野圭介

调用图灵机。 （英语） Zbl 07368047号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日，第12届国际会议，RC 2020，挪威奥斯陆。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227，54-70（2020）。
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{K.Nakano}，莱克托。注释计算。科学。12227，54-70（2020；Zbl 07368047）
全文： DOI程序
伊万·拉内斯；伊恩·菲利普斯；伊雷克·乌利多夫斯基

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

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 442-461 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}等人，Lect。注释计算。科学。12077442-461（2020年；兹bl 07250951）
全文： DOI程序
戴维·德·弗鲁托斯·埃斯克里格；马西耶·库特尼；乌卡斯·米库尔斯基

反转Petri网中的步骤。 （英语） Zbl 07796221号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 171-191 (2019).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。11522、171--191（2019；Zbl 07796221）
全文： DOI程序 链接
金建华；李春泉

量子可逆模糊文法。 （英语） Zbl 1452.68094号

孙晓明（主编）等，《理论计算机科学》。2019年NCTCS第37届全国会议，中国兰州，2019年8月2-4日。修改选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1069, 150-167 (2019).
MSC公司：2012年第68季度 65年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{J.Jin}和\textit{C.Li}，Commun。计算。信息科学。1069，150-167（2019；Zbl 1452.68094）
全文： DOI程序
罗宾·卡斯加德；尼科洛·维尔特里

恩加德！延迟单体中可逆计算的无保护迭代。 （英语） Zbl 1434.68088号

Hutton，Graham（编辑），《程序构造的数学》。2019年10月7日至9日在葡萄牙波尔图举行的MPC 2019第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11825, 366-384 (2019).
MSC公司：68甲18 2009年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Kaarsgaard}和\textit{N.Veltri}，莱克特。注释计算。科学。11825、366--384（2019年；Zbl 1434.68088）
全文： DOI程序
丹尼尔·伯恩斯坦。；坦尼娅·兰格；克洛伊·马丁代尔；洛伦茨·帕尼

CSIDH的量子电路：优化等基因的量子评估。 （英语） Zbl 1508.81648号

Ishai，Yuval（编辑）等人，《密码学进展——2019年欧洲密码》。第38届密码技术理论与应用国际年会，2019年5月19日至23日，德国达姆施塔特。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11477, 409-441 (2019).
MSC公司：81页94 94A60型 2006年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.J.Bernstein}等人，Lect。注释计算。科学。11477、409--441（2019年；Zbl 1508.81648）
全文： DOI程序 链接
阿卜杜拉·诺鲁齐（Abdollah Norouzi Doshanlou）；Haghpasat，马吉德；穆迪·侯赛因扎德；米迪亚·雷沙迪

四元量子可逆半减法器、全减法器和（n）-qudit借波纹减法器的设计。 （英语） Zbl 1430.81021号

国际量子信息。 17，第5号，文章ID 1950048，第13页（2019）.
MSC公司：81页68 2006年第68季度 03C62号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Doshanlou}等人，《国际量子信息》第17卷第5期，文章编号195048，第13页（2019年；Zbl 1430.81021）
全文： DOI程序
詹姆斯·霍伊；伊雷克·乌利多夫斯基

可逆命令式并行程序和调试。 （英语） Zbl 1527.68035号

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，RC 2019，瑞士洛桑，2019年6月24日至25日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497108-127（2019）中所述。
MSC公司：68甲19 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoey}和\textit{I.Ulidowski}，莱克特。注释计算。科学。11497，108-127（2019；Zbl 1527.68035）
全文： DOI程序 链接
罗宾·卡斯加德

反转、迭代和双重运用的艺术。 （英语） Zbl 1467.68083号

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，RC 2019，瑞士洛桑，2019年6月24日至25日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 34-50 (2019).
审核人：马尔蒂·卡沃宁（渥太华）
MSC公司：68问题55 18 C50 18D20天 18米40 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{R.Kaarsgaard}，莱克特。注释计算。科学。11497，34-50（2019；Zbl 1467.68083）
全文： DOI程序 arXiv公司 链接
约翰·科普拉

可逆细胞自动机的Lyapunov指数是不可变的。 （英语） Zbl 1525.68077号

McQuillan，Ian（编辑）等人，《非传统计算和自然计算》。2019年6月3日至7日，第18届国际会议，UCNC 2019，日本东京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11493, 178-190 (2019).
MSC公司：68问题80 37B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Kopra}，莱克特。注释计算。科学。11493、178-190（2019年；Zbl 1525.68077）
全文： DOI程序 arXiv公司
伊娃·格拉弗森；伊恩·菲利普斯；吉田、Nobuko

朝向可逆事件结构的分类表示。 （英语） Zbl 1427.68196号

J.日志。阿尔盖布。方法计划。 104, 16-59 (2019).
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 18A40型 18B20型 2009年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛E.Graversen｝等人，J.Log。阿尔盖布。方法计划。104、16-59（2019年；Zbl 1427.68196）
全文： DOI程序 arXiv公司
克里斯·希恩；罗宾·卡斯加德；马尔蒂·卡沃宁

反向箭头的可逆效果。 （英语） Zbl 1527.68070号

Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 179-199 (2018).
MSC公司：2009年第68季度 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{C.Heunen}等人，《电子》。注释Theor。计算。科学。341179--199（2018年；Zbl 1527.68070）
全文： DOI程序 arXiv公司
阿尔贝托·齐法格利翁；Furio Honsell；玛丽娜·莱妮莎；伊万·斯卡格内托

作为主要类型的对合/作为统一类比的应用。 （英语） Zbl 1416.03009号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 254-270 (2018).
MSC公司：03B40型 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciafglione}等人，EPiC Ser。计算。57、254--270（2018；Zbl 1416.03009）
全文： DOI程序
菲杜斯·艾哈迈德；苏哈伊布·艾哈迈德；维潘岛卡卡尔；G.Mohiuddin，巴特；阿里·纽瓦兹·巴哈尔；沙贾汗·瓦尼

QCA中超高效可逆全加减法器的模块化设计及功耗分析。 （英语） Zbl 1412.81086号

国际J.Theor。物理学。 57，第9期，2863-2880（2018）.
MSC公司：81页68 2012年第68季度 6504年 82天80 10层62层
PDF格式BibTeX公司 XML格式引用
\textit{F.Ahmad}等人，国际期刊Theor。物理学。57，第9号，2863--2880（2018；Zbl 1412.81086）
全文： DOI程序
萨伊德·卡姆拉尼；赛义德·拉苏利·海卡拉巴德

量子点细胞自动机中一种独特的可逆门，用于实现四个无垃圾输出的触发器。 （英语） Zbl 1412.81095号

国际J.Theor。物理学。 57，第11号，3340-3358（2018）.
MSC公司：81页68 85年第81季度 68问题80 2007年7月68日 82天80
PDF格式BibTeX公司 XML格式引用
\textit{S.Kamrani}和\textit{S.R.Heikalabad}，国际期刊Theor。物理学。57，第11号，3340-3358（2018；Zbl 1412.81095）
全文： DOI程序
梅蒂，赫拉莫伊；阿林达姆·比斯瓦斯；阿妮塔·帕尔；阿努普·库马尔·巴塔查吉

BCD到excess-3码转换电路的设计具有优化的量子成本、垃圾输出和使用可逆门的恒定输入。 （英语） Zbl 1407.81069号

国际量子信息。 16，第7号，文章ID 1850061，5 p.（2018）.
MSC公司：81页68 81页70 94C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{H.Maity}等人，国际期刊Quantum Inf.16，No.7，文章ID 1850061，5 p.（2018；Zbl 1407.81069）
全文： DOI程序
周日桂；杨、刘鹏；刘兴敖；伊恩·侯

基于快速位置乱和双重嵌入的量子彩色图像水印。 （英语） Zbl 1407.81053号

国际量子信息。 16，第7号，文章ID 1850060，18 p.（2018）.
MSC公司：81页第45页 81页68 94A60型 68单位05 68单位10 94C05（二氧化碳） 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{R.-G.Zhou}等人，《国际量子信息》16，第7期，文章ID 1850060，18页（2018；Zbl 1407.81053）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件