1992
A predicate transformer for unification
Publication
Publication
Presented at the
Joint International Conference and Symposium on Logic Programming, Washington, DC, USA
Additional Metadata | |
---|---|
, , | |
MIT Press (Cambridge, MA) | |
K.R. Apt (Krzysztof) | |
MIT Press Series in Logic Programming | |
Joint International Conference and Symposium on Logic Programming | |
Organisation | Networks and Optimization |
Colussi, L., & Marchiori, E. (1992). A predicate transformer for unification. In K. Apt (Ed.), Logic Programming (pp. 67–81). MIT Press (Cambridge, MA). |