scientific article; zbMATH DE number 862680

zbMATH Open0843.68046MaRDI QIDQ4871682FDOQ4871682

Masahito Kurihara, Masato Noto, Azuma Ohuchi

Publication date: 1 April 1996

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

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

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

• Extensions and comparison of simplification orderings
• Title not available (Why is that?)
• 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)