rev-rewriting
transforms a TRS into a
reversible one. The tool is based on
injectivization and inversion following the ideas introduced in the following paper:
It takes a TRS and returns the following TRSs
Check the web interface in the next tab.
The source code of this tool is publicly available on Github
Please let me know if you have any question or comment to
apalacios@dsic.upv.es
.
Original TRS |
Choose a file:
|
Reversible TRSs: