A class of recursive permutations which is primitive recursive complete (Q1989331): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2019.11.029
@@ Property / DOI: 10.1016/j.tcs.2019.11.029 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Theseus
@@ Property / describes a project that uses: Theseus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2990494648
@@ Property / OpenAlex ID: W2990494648 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126641588
@@ Property / Wikidata QID: Q126641588 / rank @@
+Normal rank
@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+On reversible Turing machines and their function universality
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Time/Space Trade-Offs for Reversible Computation
@@ Property / cites work: Time/Space Trade-Offs for Reversible Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535080
@@ Property / cites work: Q4535080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3715301
@@ Property / cites work: Q3715301 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional word problems with applications to equational logic
+Normal rank
@@ Property / cites work @@
+On primitive recursive permutations and their inverses
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactions between computer science and biology
@@ Property / cites work: Interactions between computer science and biology / rank @@
+Normal rank
@@ Property / cites work @@
+Generation of invertible functions
@@ Property / cites work: Generation of invertible functions / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Turing Machines and Polynomial Time Reversibly Computable Functions
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425600
@@ Property / cites work: Q3425600 / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of partial recursive functions as superpositions
+Normal rank
@@ Property / cites work @@
+Representation of partial recursive functions with certain conditions in the form of superpositions
+Normal rank
@@ Property / cites work @@
+Q5796051
@@ Property / cites work: Q5796051 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2865985
@@ Property / cites work: Q2865985 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586334
@@ Property / cites work: Q5586334 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility and adiabatic computation: trading time and space for energy
+Normal rank
@@ Property / cites work @@
+Q5596230
@@ Property / cites work: Q5596230 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programs in a simple reversible language.
@@ Property / cites work: Linear programs in a simple reversible language. / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+A class of reversible primitive recursive functions
+Normal rank
@@ Property / cites work @@
+A Certified Study of a Reversible Programming Language
+Normal rank
@@ Property / cites work @@
+General Recursive Functions
@@ Property / cites work: General Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+The pillars of computation theory. State, encoding, nondeterminism
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
+Normal rank
@@ Property / cites work @@
+Q3886867
@@ Property / cites work: Q3886867 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2019.11.029
@@ Property / DOI: 10.1016/J.TCS.2019.11.029 / rank @@
+Normal rank