MFE
From MaRDI portal
Software:21743
No author found.
Related Items (3)
Twenty years of rewriting logic ⋮ On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Programming and symbolic computation in Maude
This page was built for software: MFE
