Visible to the public A Rewriting-based Forwards Semantics for Maude-NPA

Submitted by amyclay on Wed, 11/18/2015 - 3:45pm
License: 
Creative Commons 2.5

Other available formats:

A Rewriting-based Forwards Semantics for Maude-NPA
Switch to experimental viewer