Efficient unification of quantified terms

DOI10.1016/0743-1066(88)90015-5zbMath0644.68052OpenAlexW2060111668MaRDI QIDQ3787472

John Staples, Peter J. Robinson

Publication date: 1988

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(88)90015-5

zbMATH Keywords

symbolic computationdata structuresunificationefficient computationquantified termsConventional logic-programming languages

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Data structures (68P05)

Related Items (2)

Delaying unification algorithms for lambda calculi ⋮ Structure sharing for quantified terms: Fundamentals

This page was built for publication: Efficient unification of quantified terms