An ordering linear unification algorithm

DOI10.1007/BF02943985zbMath0682.68092OpenAlexW2092343141MaRDI QIDQ1824410

Yunfa Hu

Publication date: 1989

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943985

zbMATH Keywords

unification algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Linear unification
• An Efficient Unification Algorithm
• Unnamed Item

This page was built for publication: An ordering linear unification algorithm