Pair-sharing over rational trees
From MaRDI portal
Publication:4520179
DOI10.1016/S0743-1066(00)00009-1zbMath0964.68017MaRDI 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
68N17: Logic programming
Related Items
Optimal multibinding unification for sharing and linearity analysis, Finite-tree analysis for constraint logic-based languages, Optimality in goal-dependent analysis of Sharing, On the interaction between sharing and linearity
Uses Software