Reversible computation in term rewriting (Q1683707)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Reversible computation in term rewriting	scientific article

Statements

scholarly article

0 references

Reversible computation in term rewriting (English)

0 references

0 references

Adrián Palacios

0 references

0 references

Journal of Logical and Algebraic Methods in Programming

0 references

publication date

1 December 2017

0 references

full work available at URL

https://arxiv.org/abs/1710.02804

0 references

http://hdl.handle.net/10251/121738

0 references

zbMATH Keywords

term rewriting

0 references

reversible computation

0 references

program transformation

0 references

MaRDI profile type

MaRDI publication profile

0 references

A structural approach to reversible computation

0 references

Automatic Partial Inversion of Inductively Sequential Functions

0 references

Update semantics of relational views

0 references

Logical Reversibility of Computation

0 references

Conditional rewrite rules: Confluence and termination

0 references

Reversible simulation of space-bounded computations

0 references

Reversible combinatory logic

0 references

Reachability in Conditional Term Rewriting Systems

0 references

0 references

Fundamental approaches to software engineering. 17th international conference, FASE 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014, Proceedings

0 references

Automated Complexity Analysis Based on the Dependency Pair Method

0 references

Irreversibility and Heat Generation in the Computing Process

0 references

Bidirectionalization transformation based on automatic derivation of view complement functions

0 references

Completeness results for basic narrowing

0 references

Reversible simulation of one-dimensional irreversible cellular automata

0 references

Computation in reversible cellular automata

0 references

Mathematics of Program Construction

0 references

Determinization of conditional term rewriting systems

0 references

Reversible Term Rewriting

0 references

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

0 references

Program Inversion for Tail Recursive Functions

0 references

Reverse Code Generation for Parallel Discrete Event Simulation

0 references

0 references

Computation and construction universality of reversible cellular automata

0 references

One-way reversible and quantum finite automata with advice

0 references

Fundamentals of reversible flowchart languages

0 references

Reversible Flowchart Languages and the Structured Reversible Program Theorem

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

0 references

10.1016/J.JLAMP.2017.10.003

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1683707

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1683707&oldid=38697395"