Yicho : a system for programming program calculations

von Yokoyama, Tetsuo
Veröffentlicht 2002

Reversible Programs Have Reversible Semantics

von Glück, Robert
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Reversible Computation : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, proceedings

Veröffentlicht 2021