scientific article; zbMATH DE number 862680

MaRDI QIDQ4871682zbMATH OpenFDO

Authors Masato Noto, Masahito Kurihara, Azuma Ohuchi

Publication date 1 April 1996

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Extensions and comparison of simplification orderings
• scientific article; zbMATH DE number 3870584
• scientific article; zbMATH DE number 3930339
• scientific article; zbMATH DE number 408817

Cited in

(4)

• Extensions and comparison of simplification orderings
• scientific article; zbMATH DE number 1324665 (Why is no real title available?)
• Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday
• Reachability analysis over term rewriting systems

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