What do reversible programs compute?

HB Axelsen, R Glück - … of Software Science and Computational Structures …, 2011 - Springer
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

What Do Reversible Programs Compute?

HB Axelsen, R Gluck - … , FOSSACS 2011, Held as Part of the Joint …, 2011 - books.google.com
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

What Do Reversible Programs Compute?

HB Axelsen, R Glück - Springer
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

What Do Reversible Programs Compute?

HB Axelsen, RG Ck - Foundations of Software Science and Computational … - infona.pl
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

[PDF][PDF] What Do Reversible Programs Compute?

HB Axelsen, R Glück - researchgate.net
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

[CITATION][C] What Do Reversible Programs Compute?

HB Axelsen, R Glück - Foundations of Software Science and …, 2011 - cir.nii.ac.jp
What Do Reversible Programs Compute? | CiNii Research CiNii 国立情報学研究所 学術情報
ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす …

What do reversible programs compute?

HB Axelsen, R Glück - Proceedings of the 14th international conference …, 2011 - dl.acm.org
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

[PDF][PDF] What Do Reversible Programs Compute?

HB Axelsen, R Glück - academia.edu
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

What Do Reversible Programs Compute?

HB Axelsen, R Gluck - … , FOSSACS 2011, Held as Part of the Joint …, 2011 - books.google.com
Reversible computing is the study of computation models that exhibit both forward and
backward determinism. Understanding the fundamental properties of such models is not …

[CITATION][C] What Do Reversible Programs Compute?

H Axelsen, R ü ck - Foundations of Software Science and Computational …, 2011 - Springer