term-rewriting

swMATH25893MaRDI QIDQ37626FDOQ37626

Author name not available (Why is that?)

Official website: http://cl-informatik.uibk.ac.at/software/haskell-rewriting/

Cited In (4)

• NaTT
• mkbTT
• Slothrop
• KBCV

This page was built for software: term-rewriting