scientific article; zbMATH DE number 1231540
From MaRDI portal
Publication:4222856
zbMath0917.68107MaRDI QIDQ4222856
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#cm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Rewriting logic: Roadmap and bibliography ⋮ Structured theories and institutions ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Two Decades of Maude ⋮ Twenty years of rewriting logic ⋮ The Maude strategy language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Rewriting Semantics for Maude Strategies ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ A Logic for Rewriting Strategies ⋮ Scoped Dynamic Rewrite Rules ⋮ Reflection in conditional rewriting logic ⋮ Specification of real-time and hybrid systems in rewriting logic
Uses Software
This page was built for publication:
