scientific article; zbMATH DE number 3876565

zbMATH Open0549.68011MaRDI QIDQ3341872FDOQ3341872

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

Publication date: 1982

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

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

zbMATH Keywords

operational semanticsChurch-Rosser propertyspecifications of abstract data typessubstitution reduction strategy

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (11)

• Negation with logical variables in conditional rewriting
• Defining conditional independence using collapses
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)