scientific article; zbMATH DE number 4016179

MaRDI QIDQ3028332zbMATH OpenFDO

Authors Zhenyu Qian

Publication date 1987

zbMATH Keywords

abstract data typesalgebraic specificationsconfluencestructured contextual systemtermination

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3921957
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• scientific article; zbMATH DE number 4090780
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• scientific article; zbMATH DE number 4164155

Cited in

(11)

• Scattered versus context-sensitive rewriting
• Schematization of infinite sets of rewrite rules generated by divergent completion processes
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• Transforming Outermost into Context-Sensitive Rewriting
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 4050972 (Why is no real title available?)
• scientific article; zbMATH DE number 4090780 (Why is no real title available?)
• scientific article; zbMATH DE number 2050922 (Why is no real title available?)
• scientific article; zbMATH DE number 1552271 (Why is no real title available?)
• scientific article; zbMATH DE number 7488335 (Why is no real title available?)
• Context rewriting

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