scientific article; zbMATH DE number 4164137

zbMATH Open0708.68025MaRDI QIDQ3490949FDOQ3490949

Authors: Hubert Comon 

Publication date: 1989

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

Recommendations

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

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)

Cited In (8)

• Title not available (Why is that?)
• Ground reducibility is EXPTIME-complete
• Specification and proof in membership equational logic
• Equational problems and disunification
• Proofs in parameterized specifications
• Title not available (Why is that?)
• 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)