scientific article; zbMATH DE number 1231658

zbMATH Open0917.68101MaRDI QIDQ4222983FDOQ4222983

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

\(CafeOBJ\) language design

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• Title not available (Why is that?)
• CafeOBJ Traces
• Logical foundations of CafeOBJ
• Confluence: the unifying, expressive power of locality
• Compact normalisation trace via lazy rewriting
• Title not available (Why is that?)
• Maude: specification and programming in rewriting logic
• Title not available (Why is that?)
• Rewriting logic: Roadmap and bibliography

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)