scientific article; zbMATH DE number 1231658

MaRDI QIDQ4222983zbMATH OpenFDO

Authors Răzvan Diaconescu, Kokichi Futatsugi

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

zbMATH Keywords

\(CafeOBJ\) language design

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• CafeOBJ Traces
• Logical foundations of CafeOBJ
• Towards a combination of CafeOBJ and PAT
• scientific article; zbMATH DE number 2172803
• A Maude environment for CafeOBJ
• scientific article; zbMATH DE number 1942449
• scientific article; zbMATH DE number 1962762

Cited in

(9)

• scientific article; zbMATH DE number 1949595 (Why is no real title available?)
• CafeOBJ Traces
• Logical foundations of CafeOBJ
• Confluence: the unifying, expressive power of locality
• Compact normalisation trace via lazy rewriting
• scientific article; zbMATH DE number 4164121 (Why is no real title available?)
• Maude: specification and programming in rewriting logic
• scientific article; zbMATH DE number 2172803 (Why is no real title available?)
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• CafeOBJ

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