MFE

swMATH9764MaRDI QIDQ21743FDOQ21743

Author name not available (Why is that?)

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