MFE

MaRDI QIDQ21743swMATHFDO

Official website http://maude.lcc.uma.es/MFE/

Cited in

(14)

• Twenty years of rewriting logic
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• MultiVeStA
• PMaude
• PVeStA
• ChC 3
• CRC 3
• ITP
• DDebugger
• MTT
• SCC
• MOMENT2
• PSMaude
• Programming and symbolic computation in Maude

This page was built for software: MFE