#

trs

Here are 2 public repositories matching this topic...

triska / trs

Reason about Term Rewriting Systems

prolog trs term-rewriting

Updated Jul 24, 2022
Prolog

mistupv / rev-rewriting

A tool for the transformation of an irreversible Term Rewriting System into a reversible one

functional-programming transformations prolog trs term-rewriting reversible-computation program-inversion

Updated Jan 20, 2017
Prolog

Improve this page

Add a description, image, and links to the trs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the trs topic, visit your repo's landing page and select "manage topics."