Pair-sharing over rational trees
From MaRDI portal
Publication:4520179
DOI10.1016/S0743-1066(00)00009-1zbMath0964.68017OpenAlexW1970730703MaRDI QIDQ4520179
Publication date: 12 December 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(00)00009-1
Related Items (4)
Optimality in goal-dependent analysis of Sharing ⋮ Optimal multibinding unification for sharing and linearity analysis ⋮ On the interaction between sharing and linearity ⋮ Finite-tree analysis for constraint logic-based languages
Uses Software
This page was built for publication: Pair-sharing over rational trees
