scientific article; zbMATH DE number 1231664

MaRDI QIDQ4222990zbMATH OpenFDO

Authors Francisco Durán, José Meseguer

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

zbMATH Keywords

Mauderewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1696904
• A modular extension for a computer algebra system
• Maude's module algebra
• scientific article; zbMATH DE number 4164154
• An algebraic approach to mixins and modularity
• scientific article; zbMATH DE number 3862416
• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 3972172
• A calculus of module systems
• scientific article; zbMATH DE number 1487501

Cited in

(10)

• Maude: specification and programming in rewriting logic
• Rewriting logic: Roadmap and bibliography
• Structured theories and institutions
• Programming and symbolic computation in Maude
• The \(kS_3\)-module algebra structures on \(M_3(k)\)
• scientific article; zbMATH DE number 1696904 (Why is no real title available?)
• Towards behavioral Maude: behavioral membership equational logic
• Two Decades of Maude
• Invariant-driven specifications in Maude
• Maude's module algebra

Describes a project that uses

Uses Software

• Maude

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 Q4222990)