A Rewriting-Based Forwards Semantics for Maude-NPA
License:
Creative Commons 2.5
Santiago Escobar
Catherine Meadows
Sonia Santiago
Jose Meseguer
Other available formats:
A Rewriting-Based Forwards Semantics for Maude-NPA
Switch to normal viewer
Switch to experimental viewer