Generalizations of unification
From MaRDI portal
Publication:1322773
DOI10.1006/jsco.1993.1059zbMath0803.68014OpenAlexW2044088863MaRDI QIDQ1322773
Publication date: 30 May 1994
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1993.1059
matchingunificationlogic programmingfunctional programmingsemi-unificationinfinite- unificationsweak-unification
Related Items
Unification for infinite sets of equations between finite terms, Finite-tree analysis for constraint logic-based languages