Database of Rewriting Systems


Note that many recent systems are available on the Quality and Safety of Software repository.


Realized by Nachum Dershowitz and Laurent Vigneron.
Last modified: 21-Mar-2008.