scientific article; zbMATH DE number 3876565

MaRDI QIDQ3341872zbMATH OpenFDO

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

Publication date 1982

zbMATH Keywords

operational semanticsChurch-Rosser propertyspecifications 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

(11)

• Defining conditional independence using collapses
• Negation with logical variables in conditional rewriting
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• scientific article; zbMATH DE number 4090771 (Why is no real title available?)
• scientific article; zbMATH DE number 4092760 (Why is no real title available?)
• A constructive method for abstract algebraic software specification
• 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?)
• A proof system for conditional algebraic specifications
• Conditional rewrite rules

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)