scientific article; zbMATH DE number 1231660

zbMath0917.68104MaRDI QIDQ4222985

José Meseguer, Roberto Bruni, Ugo Montanari

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#15009

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

zbMATH Keywords

rewriting logictile logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (9)

Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ GETGRATS ⋮ Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic ⋮ Normal forms for algebras of connections. ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• ELAN
• Maude

This page was built for publication: