GLINTS

swMATH40628MaRDI QIDQ56328FDOQ56328

Author name not available (Why is that?)

Cited In (3)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• Symbolic analysis of Maude theories with Narval
• Optimization of rewrite theories by equational partial evaluation

This page was built for software: GLINTS