scientific article; zbMATH DE number 176162

MaRDI QIDQ4035264zbMATH OpenFDO

Authors Peter Ružička

Publication date 18 May 1993

zbMATH Keywords

semi-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Fast algorithms for uniform semi-unification
• Semi-unification
• scientific article; zbMATH DE number 4092757
• scientific article; zbMATH DE number 88941
• The undecidability of the semi-unification problem

Cited in

(5)

• scientific article; zbMATH DE number 88941 (Why is no real title available?)
• Fast algorithms for uniform semi-unification
• scientific article; zbMATH DE number 4092757 (Why is no real title available?)
• Upper bounds on height of terms in a solution of a semiunification problem
• Termination of rule-based calculi for uniform semi-unification

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