scientific article; zbMATH DE number 4164137

MaRDI QIDQ3490949zbMATH OpenFDO

Authors Hubert Comon

Publication date 1989

zbMATH Keywords

initial algebrastree grammarirreducible ground terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Recommendations

• Publication:3485880
• scientific article; zbMATH DE number 1405449
• scientific article; zbMATH DE number 1118018
• Tree automata for rewrite strategies
• scientific article; zbMATH DE number 3890721

Cited in

(8)

• scientific article; zbMATH DE number 8763 (Why is no real title available?)
• Ground reducibility is EXPTIME-complete
• Specification and proof in membership equational logic
• Equational problems and disunification
• Proofs in parameterized specifications
• scientific article; zbMATH DE number 4157904 (Why is no real title available?)
• Inductive proofs by specification transformations
• On relationship between term rewriting systems and regular tree languages

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