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

Submitted by Jose Meseguer on Tue, 06/03/2014 - 5:35pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

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