term_rewriting

Automatic confluence proofs:

Nbt1_unsuccessful.txt  Nbud2_successful.txt    Zbud2_unsuccessful.txt
Nbud1_successful.txt   Zbud1_unsuccessful.txt

Automatic termination proofs:

Ndt1_successful.html   Zdt2_timeout.html                Zr_successful.html
Zbt1_successful.html   Zdub2_successful.html
Zbud1_successful.html  Zdub2_webinterface_timeout.html

Rewrite rules:

Nbt1.trs   Nbud2.trs   Zbud1.trs  Zdt1.trs    Zdub2.trs
Nbud1.trs  Zbt1.trs    Zbud2.trs  Zdt2.trs    Zr.trs

Last modified: July 15, 2016