Fundamentals of reversible flowchart languages (Q896906): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.07.046
+Normal rank
@@ Property / OpenAlex ID @@
+W950576007
@@ Property / OpenAlex ID: W950576007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414734
@@ Property / cites work: Q4414734 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to reversible computation
@@ Property / cites work: A structural approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple and Efficient Universal Reversible Turing Machine
+Normal rank
@@ Property / cites work @@
+What Do Reversible Programs Compute?
@@ Property / cites work: What Do Reversible Programs Compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Representation and Manipulation of Constructor Terms in the Heap
+Normal rank
@@ Property / cites work @@
+Reversible Machine Code and Its Abstract Processor Architecture
+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 @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Computing
@@ Property / cites work: Reversible Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible combinatory logic
@@ Property / cites work: Reversible combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867160
@@ Property / cites work: Q3867160 / rank @@
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942366
@@ Property / cites work: Q3942366 / rank @@
+Normal rank
@@ Property / cites work @@
+A programmable editor for developing structured documents based on bidirectional transformations
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of cellular automata: a survey
@@ Property / cites work: Theory of cellular automata: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055144
@@ Property / cites work: Q4055144 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+A formal approach to undo operations in programming languages
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / 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 @@
+FliPpr: A Prettier Invertible Printing System
@@ Property / cites work: FliPpr: A Prettier Invertible Printing System / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+A Universal Reversible Turing Machine
@@ Property / cites work: A Universal Reversible Turing Machine / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis and optimization of reversible circuits—a survey
+Normal rank
@@ Property / cites work @@
+\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
+Normal rank
@@ Property / cites work @@
+Reversible arithmetic logic unit for quantum arithmetic
+Normal rank
@@ Property / cites work @@
+Computation and construction universality of reversible cellular automata
+Normal rank
@@ Property / cites work @@
+Towards a Design Flow for Reversible Logic
@@ Property / cites work: Towards a Design Flow for Reversible Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / cites work @@
+Q5389329
@@ Property / cites work: Q5389329 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/YokoyamaAG16
@@ Property / DBLP publication ID: journals/tcs/YokoyamaAG16 / rank @@
+Normal rank