汉斯·约尔格·克鲁斯基;萨宾·库斯克;亚伦·赖伊;梅兰妮·卢德勒 图形变换满足可逆电路：生成、计算和合成。 （英语） Zbl 1423.68234号 Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行的2014年国际燃气轮机大会第7次国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8571, 237-252 (2014). 摘要：可逆电路作为传统电路的一种有希望的替代品，已经被深入研究了几年。主要是为了说明的目的，并且以一种相当非正式的方式，它们通常被直观地表示出来。这启发了我们对可逆电路的图形变换方法。本文记录了第一步，重点是生成、评估和合成。关于整个系列，请参见[Zbl 1293.68023号]. 引用于1文件 MSC公司： 第68季度第42季度 语法和重写系统 2005年第68季度 计算模型（图灵机等）（MSC2010） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}等人，Lect。注释计算。科学。8571237--252（2014；Zbl 1423.68234） 全文： 内政部