scientific article; zbMATH DE number 1231660

MaRDI QIDQ4222985zbMATH OpenFDO

Authors Roberto Bruni, José Meseguer, 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

zbMATH Keywords

rewriting logictile logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1189279
• A faithful encoding of programmable strategies into term rewriting systems
• scientific article; zbMATH DE number 2040907
• Rewriting strategies and strategic rewrite programs
• A strategy to deal with divergent rewrite systems
• Rewrite strategies in the rewriting calculus
• Tiling transactions in rewriting logic
• scientific article; zbMATH DE number 1231657
• A logic for rewriting strategies
• scientific article; zbMATH DE number 1231533

Cited in

(10)

• Twenty years of rewriting logic
• Two case studies of semantics execution in Maude: CCS and LOTOS
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Comparing higher-order encodings in logical frameworks and tile logic
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Tiling transactions in rewriting logic
• scientific article; zbMATH DE number 1189279 (Why is no real title available?)
• Normal forms for algebras of connections.
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• Maude
• ELAN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222985)