Buscar
Mostrando ítems 1-1 de 1
Artículo
Maude as a Metalanguage
(Elsevier, 1998)
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive ...