scientific article; zbMATH DE number 4092746

MaRDI QIDQ3819981zbMATH OpenFDO

Authors Tony Rush, Derek Coleman

Publication date 1988

zbMATH Keywords

algebraic specification languageconditional term rewriting systemsimplementationinterpreteroptimizations

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4090846
• Publication:3028335
• Implementing conditional term rewriting by graph rewriting
• scientific article; zbMATH DE number 4092748
• scientific article; zbMATH DE number 1088027
• Complexity of conditional term rewriting
• Transformation for refining unraveled conditional term rewriting systems
• scientific article; zbMATH DE number 4092749
• scientific article; zbMATH DE number 67820
• Determinization of conditional term rewriting systems

Cited in

(5)

• Implementation of axiomatic language
• scientific article; zbMATH DE number 4016182 (Why is no real title available?)
• scientific article; zbMATH DE number 4092748 (Why is no real title available?)
• scientific article; zbMATH DE number 2114410 (Why is no real title available?)
• Hybrid implementations of algebraic specifications

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