LANESE, Ivan, PHILLIPS, Iain und ULIDOWSKI, Irek, 2024. An Axiomatic Theory for Reversible Computation. ACM Transactions on Computational Logic. 1 April 2024. Vol. 25, no. 2, p. 1-40. DOI 10.1145/3648474.
Elsevier - Harvard (with titles)Lanese, I., Phillips, I., Ulidowski, I., 2024. An Axiomatic Theory for Reversible Computation. ACM Transactions on Computational Logic 25, 1-40. https://doi.org/10.1145/3648474
American Psychological Association 7th editionLanese, I., Phillips, I., & Ulidowski, I. (2024). An Axiomatic Theory for Reversible Computation. ACM Transactions on Computational Logic, 25(2), 1-40. https://doi.org/10.1145/3648474
Springer - Basic (author-date)Lanese I, Phillips I, Ulidowski I (2024) An Axiomatic Theory for Reversible Computation.. ACM Transactions on Computational Logic 25:1-40. https://doi.org/10.1145/3648474
Juristische Zitierweise (Stüber) (Deutsch)Lanese, Ivan/ Phillips, Iain/ Ulidowski, Irek, An Axiomatic Theory for Reversible Computation., ACM Transactions on Computational Logic 2024, 1-40.