scientific article; zbMATH DE number 1114350

MaRDI QIDQ4376069zbMATH OpenFDO

Authors Hitoshi Ohsaki, Aart Middeldorp

Publication date 11 June 1998

zbMATH Keywords

rewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Type introduction for equational rewriting
• Type removal in term rewriting
• Termination of term rewriting: Interpretation and type elimination
• On sufficient-completeness and related properties of term rewriting systems

Cited in

(8)

• A rewrite-based type discipline for a subset of computer algebra
• Type introduction for equational rewriting
• scientific article; zbMATH DE number 1705161 (Why is no real title available?)
• Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
• scientific article; zbMATH DE number 1950449 (Why is no real title available?)
• scientific article; zbMATH DE number 6399373 (Why is no real title available?)
• scientific article; zbMATH DE number 960927 (Why is no real title available?)
• Type removal in term 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 Q4376069)