scientific article; zbMATH DE number 1231664

zbMath0919.68076MaRDI QIDQ4222990

José Meseguer, Francisco Durán

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewriting logicMaude

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Rewriting logic: Roadmap and bibliography ⋮ Structured theories and institutions ⋮ Invariant-driven specifications in Maude ⋮ Two Decades of Maude ⋮ Programming and symbolic computation in Maude ⋮ The \(kS_3\)-module algebra structures on \(M_3(k)\) ⋮ Towards Behavioral Maude ⋮ Maude: specification and programming in rewriting logic

Uses Software

• Maude

This page was built for publication: