掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Reversible Computation
International Conference on Reversible Computation
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Checking Reversibility of Boolean Functions
机译:
检查布尔函数的可逆性
作者:
Robert Wille
;
Aaron Lye
;
Philipp Niemann
会议名称:
《International Conference on Reversible Computation》
|
2016年
2.
Static VS Dynamic Reversibility in CCS
机译:
CCS中的静态VS动态可逆性
作者:
Doriana Medic
;
Claudio Antares Mezzina
会议名称:
《International Conference on Reversible Computation》
|
2016年
3.
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
机译:
朝向(部分)可逆算法的节能语言和编译器
作者:
Nirvan Tyagi
;
Jayson Lynch
;
Erik D. Demaine
会议名称:
《International Conference on Reversible Computation》
|
2016年
4.
Using πDDs for Nearest Neighbor Optimization of Quantum Circuits
机译:
使用πdds进行Quantum电路的最近邻居优化
作者:
Robert Wille
;
Nils Quetschlich
;
Yuma Inoue
;
Norihito Yasuda
;
Shin-ichi Minato
会议名称:
《International Conference on Reversible Computation》
|
2016年
5.
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
机译:
基于快速符号变换的可逆逻辑合成算法
作者:
Mathias Soeken
;
Gerhard W. Dueck
;
D. Michael Miller
会议名称:
《International Conference on Reversible Computation》
|
2016年
关键词:
Reversible circuit synthesis;
Symbolic methods;
Binary decision diagrams;
Boolean satisfiability;
6.
Application of Permutation Group Theory in Reversible Logic Synthesis
机译:
置换组理论在可逆逻辑合成中的应用
作者:
Dmitry V. Zakablukov
会议名称:
《International Conference on Reversible Computation》
|
2016年
关键词:
Reversible logic;
Synthesis;
Permutation group theory;
7.
A Finite Alternation Result for Reversible Boolean Circuits
机译:
可逆布尔电路的有限交替结果
作者:
Peter Selinger
会议名称:
《International Conference on Reversible Computation》
|
2016年
8.
Reversible Causal Graph Dynamics
机译:
可逆因果图动态
作者:
Pablo Arrighi
;
Simon Martiel
;
Simon Perdrix
会议名称:
《International Conference on Reversible Computation》
|
2016年
关键词:
Bijective;
Invertible;
Cayley graphs;
Hedlund;
Reversible cellular automata;
9.
Strongly Universal Reversible Gate Sets
机译:
强烈普遍的可逆门套
作者:
Tim Boykett
;
Jarkko Kari
;
Ville Salo
会议名称:
《International Conference on Reversible Computation》
|
2016年
10.
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
机译:
混合硬件和软件可逆性,用于推测并行离散事件仿真
作者:
Davide Cingolani
;
Mauro Ianni
;
Alessandro Pellegrini
;
Francesco Quaglia
会议名称:
《International Conference on Reversible Computation》
|
2016年
11.
Rigid Families for the Reversible π-Calculus
机译:
可逆π微积分的刚性家庭
作者:
Ioana Cristescu
;
Jean Krivine
;
Daniele Varacca
会议名称:
《International Conference on Reversible Computation》
|
2016年
12.
Reversing Single Sessions
机译:
扭转单一会话
作者:
Francesco Tiezzi
;
Nobuko Yoshida
会议名称:
《International Conference on Reversible Computation》
|
2016年
13.
Enumeration of Reversible Functions and Its Application to Circuit Complexity
机译:
可逆功能的枚举及其在电路复杂性的应用
作者:
Mathias Soeken
;
Nabila Abdessaied
;
Giovanni De Micheli
会议名称:
《International Conference on Reversible Computation》
|
2016年
关键词:
Reversible function;
Equivalence class;
Permutation group;
Reversible circuit complexity;
14.
Generating Reversible Circuits from Higher-Order Functional Programs
机译:
从高阶功能计划生成可逆电路
作者:
Benoit Valiron
会议名称:
《International Conference on Reversible Computation》
|
2016年
15.
A Calculus for Local Reversibility
机译:
用于本地可逆性的微积分
作者:
Stefan Kuhn
;
Irek Ulidowski
会议名称:
《International Conference on Reversible Computation》
|
2016年
关键词:
Reversible process calculi;
Local reversibility;
Modelling of chemical reactions;
16.
Design of Efficient Quantum Circuits Using Nearest Neighbor Constraint in 2D Architecture
机译:
2D架构中最近邻约约束的高效量子电路设计
作者:
Leniency Marbaniang
;
Abhoy Kole
;
Kamalika Datta
;
Indranil Sengupta
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Nearest neighbor;
Qubit;
2D architecture;
Quantum gate;
17.
Towards VHDL-Based Design of Reversible Circuits Work in Progress Report
机译:
走向基于VHDL的可逆电路设计中的进度报告
作者:
Zaid Al-Wardi
;
Robert Wille
;
Rolf Drechsler
会议名称:
《International Conference on Reversible Computation》
|
2017年
18.
Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis
机译:
可逆逻辑合成中的控制和不受控制的交换栅极
作者:
Md Asif Nashiry
;
Mozammel H. A. Khan
;
Jacqueline E. Rice
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Reversible logic;
SWAP gate;
Fredkin gate;
Toffoli gates;
Mixed polarity gates;
Quantum gates;
Logic synthesis;
Conservative functions;
19.
Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits Work in Progress Report
机译:
可逆电路中多个丢失门故障的自动测试模式生成正在进行的报告中的工作
作者:
Anmol Prakash Surhonne
;
Anupam Chattopadhyay
;
Robert Wille
会议名称:
《International Conference on Reversible Computation》
|
2017年
20.
Implementing Reversible Object-Oriented Language Features on Reversible Machines
机译:
在可逆机器上实现可逆对象的语言功能
作者:
Tue Haulund
;
Torben AEgidius Mogensen
;
Robert Gluck
会议名称:
《International Conference on Reversible Computation》
|
2017年
21.
A Method to Reduce Resources for Quantum Error Correction
机译:
一种减少量子误差校正资源的方法
作者:
Ritajit Majumdar
;
Saikat Basu
;
Susmita Sur-Kolay
会议名称:
《International Conference on Reversible Computation》
|
2017年
22.
Improved Decomposition of Multiple-Control Ternary Toffoli Gates Using Muthukrishnan-Stroud Quantum Gates
机译:
使用Muthukrishnan-stroud量子门改善多对照三元闸门的分解
作者:
P. Mercy Nesa Rani
;
Abhoy Kole
;
Kamalika Dattal
;
Indranil Sengupta
会议名称:
《International Conference on Reversible Computation》
|
2017年
23.
REVS: A Tool for Space-Optimized Reversible Circuit Synthesis
机译:
Revs:用于空间优化的可逆电路合成工具
作者:
Alex Parent
;
Martin Roetteler
;
Krysta M. Svore
会议名称:
《International Conference on Reversible Computation》
|
2017年
24.
Designing Parity Preserving Reversible Circuits
机译:
设计奇偶校验可逆电路
作者:
Goutam Paul
;
Anupam Chattopadhyay
;
Chander Chandak
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Fault tolerance;
Parity;
Quantum computing;
Reversible circuits;
25.
Tools for Quantum and Reversible Circuit Compilation
机译:
量子和可逆电路编译的工具
作者:
Martin Roetteler
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Quantum circuits;
Reversible circuits;
Quantum programming languages;
Pebble games;
Dirty ancillas;
Repeat-Until-Success protocols;
Ternary systems;
26.
Test Pattern Generation Effort Evaluation of Reversible Circuits
机译:
测试模式生成努力评估可逆电路
作者:
Abhoy Kole
;
Robert Wille
;
Kamalika Datta
;
Indranil Sengupta
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Reversible circuit;
ATPG;
SAT;
Optimization;
27.
Capacitive-Based Adiabatic Logic
机译:
基于电容的绝热逻辑
作者:
Ayrat Galisultanov
;
Yann Perrin
;
Herve Fanet
;
Gael Pillonnet
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Adiabatic logic;
Capacitive-based adiabatic logic;
Variable capacitor;
Electromechanics;
MEMS;
NEMS;
28.
An ESOP Based Cube Decomposition Technique for Reversible Circuits
机译:
基于ESOP基于Reverible电路的多维数据集分解技术
作者:
Sai Phaneendra Parlapalli
;
Chetan Vudadha
;
M. B. Srinivas
会议名称:
《International Conference on Reversible Computation》
|
2017年
29.
Reversible Nondeterministic Finite Automata
机译:
可逆无限制的有限自动机
作者:
Markus Holzer
;
Martin Kutrib
会议名称:
《International Conference on Reversible Computation》
|
2017年
30.
Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A
机译:
使用a的最近邻额铃电路的精确全局重新排序
作者:
Alwin Zulehner
;
Stefan Gasser
;
Robert Wille
会议名称:
《International Conference on Reversible Computation》
|
2017年
31.
Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs
机译:
改进可逆电路的合成:利用QMDD路径和节点的利用冗余
作者:
Alwin Zulehner
;
Robert Wille
会议名称:
《International Conference on Reversible Computation》
|
2017年
32.
Optimizing the Reversible Circuits Using Complementary Control Line Transformation
机译:
使用互补控制线变换优化可逆电路
作者:
Sai Phaneendra Parlapalli
;
Chetan Vudadha
;
M. B. Srinivas
会议名称:
《International Conference on Reversible Computation》
|
2017年
33.
Foundations of Generalized Reversible Computing
机译:
广义可逆计算的基础
作者:
Michael P. Frank
会议名称:
《International Conference on Reversible Computation》
|
2017年
关键词:
Landauer's Principle;
Foundations of reversible computing;
Logical reversibility;
Reversible logic models;
Reversible hardware design;
Conditional reversibility;
Generalized reversible computing;
34.
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions
机译:
有效地构建QMDDS,用于不可逆,可逆和量子函数
作者:
Philipp Niemann
;
Alwin Zulehner
;
Robert Wille
;
Rolf Drechsler
会议名称:
《International Conference on Reversible Computation》
|
2017年
35.
Preface
机译:
前言
作者:
Jarkko Kari
;
Irek Ulidowski
会议名称:
《International Conference on Reversible Computation》
|
2018年
36.
Discrete Space-Time-State Physics (Social Event Talk)
机译:
离散的空间状态物理(社交活动谈话)
作者:
Edward F. Fredkin
会议名称:
《International Conference on Reversible Computation》
|
2018年
37.
On Aperiodic Reversible Turing Machines (Invited Talk)
机译:
在非周期性可逆图测机器上(邀请谈话)
作者:
Nicolas Ollinger
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Reversible Turing machines;
Cellular automata Dynamical systems;
Undecidability;
Aperiodicity;
38.
A Library of Reversible Circuit Transformations (Work in Progress)
机译:
可逆电路变换库(正在进行的工作)
作者:
Christian Hutslar
;
Jacques Carette
;
Amr Sabry
会议名称:
《International Conference on Reversible Computation》
|
2018年
39.
Simulation of Base Excision Repair in the Calculus of Covalent Bonding
机译:
共价粘接微积分基础切除修复的仿真
作者:
Stefan Kuhn
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Process calculi;
Reversibility;
Base Excision Repair Calculus of Covalent Bonding;
40.
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)
机译:
基于QMDD的可逆逻辑单通设计:探索可用的自由度(正在进行的工作报告)
作者:
Alwin Zulehner
;
Robert Wille
会议名称:
《International Conference on Reversible Computation》
|
2018年
41.
Reversible Object-Oriented Programming with Region-Based Memory Management Work-in-progress Report
机译:
可逆对象导向的编程,具有基于区域的内存管理工作进度报告
作者:
Ulrik Pagh Schultz
会议名称:
《International Conference on Reversible Computation》
|
2018年
42.
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications Work in Progress Report
机译:
空间,时间和计算中的可逆性:进度报告中的水下声学通信工作的情况
作者:
Harun Siljak
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Acoustic time reversal;
Digital signal processing Lattice gas;
Reversible cellular automata;
Reversible circuits;
43.
Encryption and Reversible Computations Work-in-progress Paper
机译:
加密和可逆计算工作过程中纸张
作者:
Dominik Taborsky
;
Ken Friis Larsen
;
Michael Kirkedal Thomsen
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Reversible computation;
Reversible programming Encryption;
Security;
Information leakage;
Side-channel attacks;
44.
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming
机译:
遗传编程量子电路的多目标合成
作者:
Moein Sarvaghad-Moghaddam
;
Philipp Niemann
;
Rolf Drechsler
会议名称:
《International Conference on Reversible Computation》
|
2018年
45.
A Unified Approach to Quantum Computation and Classical Reversible Computation
机译:
统一的量子计算和经典可逆计算方法
作者:
Alexis De Vos
;
Stijn De Baerdemacker
会议名称:
《International Conference on Reversible Computation》
|
2018年
46.
Quantum Circuits for Floating-Point Arithmetic
机译:
浮点算术量子电路
作者:
Thomas Haener
;
Mathias Soeken
;
Martin Roetteler
;
Krysta M. Svore
会议名称:
《International Conference on Reversible Computation》
|
2018年
47.
From Reversible Semantics to Reversible Debugging
机译:
从可逆语义到可逆调试
作者:
Ivan Lanese
会议名称:
《International Conference on Reversible Computation》
|
2018年
48.
Finite-State Classical Mechanics
机译:
有限状态的经典力学
作者:
Norman Margolus
会议名称:
《International Conference on Reversible Computation》
|
2018年
49.
SAT-based {CNOT, T} Quantum Circuit Synthesis
机译:
基于SAT {CNOT,T}量子电路合成
作者:
Giulia Meuli
;
Mathias Soeken
;
Giovanni De Micheli
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Quantum computing;
Clifford+T circuits SAT-based rewriting algorithm;
50.
Data Structures and Dynamic Memory Management in Reversible Languages
机译:
可逆语言中的数据结构和动态内存管理
作者:
Martin Holm Cservenka
;
Robert Glueck
;
Tue Haulund
;
Torben ?gidius Mogensen
会议名称:
《International Conference on Reversible Computation》
|
2018年
51.
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
机译:
ZX- 2-Qubit Clifford + T量子电路规则
作者:
Bob Coecke
;
Quanlong Wang
会议名称:
《International Conference on Reversible Computation》
|
2018年
52.
CoreFun: A Typed Functional Reversible Core Language
机译:
Corefun:一种类型的功能可逆核心语言
作者:
Petur Andrias Hojgaard Jacobsen
;
Robin Kaarsgaard
;
Michael Kirkedal Thomsen
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Reversible computation;
Functional programming Programming languages;
Types;
Formal semantics;
53.
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
机译:
通过改变2D最近邻居体系结构的栅极顺序来优化量子电路优化
作者:
Wakaki Hattori
;
Shigeru Yamashita
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Nearest Neighbor Architecture (NNA);
Gate order;
54.
Event Structure Semantics of (controlled) Reversible CCS
机译:
(受控)可逆CCS的事件结构语义
作者:
Eva Graversen
;
Iain Phillips
;
Nobuko Yoshida
会议名称:
《International Conference on Reversible Computation》
|
2018年
55.
Reversible Computation in Petri Nets
机译:
Petri网中可逆计算
作者:
Anna Philippou
;
Kyriaki Psara
会议名称:
《International Conference on Reversible Computation》
|
2018年
56.
Finding the Redundant Gates in Reversible Circuits
机译:
在可逆电路中找到冗余栅极
作者:
Matthias Pfuhl
;
Joerg Ritter
;
Paul Molitor
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Reversible circuits;
Post-synthesis optimization Structurally redundancies;
Redundant gate combinations Binary decision diagrams (BDD);
BDD-based approach;
57.
Checkpoint/Rollback vs Causally-Consistent Reversibility
机译:
检查点/回滚与因果关系不可逆转
作者:
Martin Vassor
;
Jean-Bernard Stefani
会议名称:
《International Conference on Reversible Computation》
|
2018年
58.
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons
机译:
匹配位存储的弹道可逆栅极:使用浮子的高效CNOT门计划
作者:
Kevin D. Osborn
;
Waltraut Wustmann
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Reversible computing;
Ballistic;
Adiabatic;
Soliton Single-flux quantum;
Energy efficiency;
CNOT;
Feynman;
59.
Physical Foundations of Landauer's Principle
机译:
Landauer原则的实物基础
作者:
Michael P. Frank
会议名称:
《International Conference on Reversible Computation》
|
2018年
关键词:
Information theory;
Statistical physics Thermodynamics of computation;
Landauer's Principle Reversible computing;
60.
On Reversibility and Broadcast
机译:
关于可逆性和广播
作者:
Claudio Antares Mezzi
会议名称:
《International Conference on Reversible Computation》
|
2018年
61.
Garbage-Free Reversible Multiplication and Division
机译:
无垃圾可逆乘法和部门
作者:
Torben ?gidius Mogenser
会议名称:
《International Conference on Reversible Computation》
|
2018年
意见反馈
回到顶部
回到首页