scientific article; zbMATH DE number 176162

zbMATH Open0776.68071MaRDI QIDQ4035264FDOQ4035264

Authors: Peter Ružička 

Publication date: 18 May 1993

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

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

zbMATH Keywords

semi-unification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (5)

• Title not available (Why is that?)
• Termination of rule-based calculi for uniform semi-unification
• Title not available (Why is that?)
• Upper bounds on height of terms in a solution of a semiunification problem
• Fast algorithms 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)