scientific article; zbMATH DE number 3876565

MaRDI QIDQ3341872zbMATH OpenFDO

Authors U. Pletat, Gregor Engels, Hans-Dieter Ehrich

Publication date 1982

zbMATH Keywords

Church-Rosser propertyoperational semanticsspecifications of abstract data typessubstitution reduction strategy

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3890711
• scientific article; zbMATH DE number 4092760
• A proof system for conditional algebraic specifications
• Computer Science Logic
• scientific article; zbMATH DE number 1302503

Cited in

(12)

• Conditional rewrite rules
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Defining conditional independence using collapses
• Term-rewriting systems with rule priorities
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• scientific article; zbMATH DE number 3890711 (Why is no real title available?)
• scientific article; zbMATH DE number 4090771 (Why is no real title available?)
• scientific article; zbMATH DE number 4092760 (Why is no real title available?)
• scientific article; zbMATH DE number 1062630 (Why is no real title available?)
• Negation with logical variables in conditional rewriting
• A proof system for conditional algebraic specifications
• A constructive method for abstract algebraic software specification

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