AbstractWe prove that all and only the invertible one-variable partial recursive dunctions can be generated from six basic functions by means of functional composition and a new kind of functional iteration which may be called reversible iteration
Reversible computation allows computation to proceed not only in the standard, forward direction, bu...
AbstractIterative forms are derived for a class of recursive functions, i.e. the recursion is “remov...
Le concept de réversibilité est ancien, mais il soulève de nos jours beaucoup d'intérêt. Il est en e...
AbstractReversible computing is bi-deterministic which means that its execution is both forward and ...
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversib...
[EN] Essentially, in a reversible programming language, for each forward computation from state S to...
AbstractReversibility is a key issue in the interface between computation and physics, and of growin...
Essentially, in a reversible programming language, for each forward computation step from state S to...
Abstract. We study the orbits of reversible one-dimensional cellular automata. It is shown that the ...
AbstractThis paper considers when one can invert general recursive operators which map a class of fu...
International audienceBoolean reversible circuits are boolean circuits made of reversible elementary...
Abstract. For each natural number n, we characterise the invertible series (under composition) that ...
Reversible computing has a long history. Nowadays, reversible computing is attracting increasing int...
Reversible computation allows computation to proceed not only in the standard, forward direction, bu...
AbstractThe λ-calculus is destructive: its main computational mechanism – beta reduction – destroys ...
Reversible computation allows computation to proceed not only in the standard, forward direction, bu...
AbstractIterative forms are derived for a class of recursive functions, i.e. the recursion is “remov...
Le concept de réversibilité est ancien, mais il soulève de nos jours beaucoup d'intérêt. Il est en e...
AbstractReversible computing is bi-deterministic which means that its execution is both forward and ...
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversib...
[EN] Essentially, in a reversible programming language, for each forward computation from state S to...
AbstractReversibility is a key issue in the interface between computation and physics, and of growin...
Essentially, in a reversible programming language, for each forward computation step from state S to...
Abstract. We study the orbits of reversible one-dimensional cellular automata. It is shown that the ...
AbstractThis paper considers when one can invert general recursive operators which map a class of fu...
International audienceBoolean reversible circuits are boolean circuits made of reversible elementary...
Abstract. For each natural number n, we characterise the invertible series (under composition) that ...
Reversible computing has a long history. Nowadays, reversible computing is attracting increasing int...
Reversible computation allows computation to proceed not only in the standard, forward direction, bu...
AbstractThe λ-calculus is destructive: its main computational mechanism – beta reduction – destroys ...
Reversible computation allows computation to proceed not only in the standard, forward direction, bu...
AbstractIterative forms are derived for a class of recursive functions, i.e. the recursion is “remov...
Le concept de réversibilité est ancien, mais il soulève de nos jours beaucoup d'intérêt. Il est en e...
DOI
Add to ORKG