A predicate transformer for unification

Find Full text
Thumbnail
Fulltext:
84487.pdf
Size:
1.405Mb
Format:
PDF
Description:
author's version
Download
Publication year
1992
Author(s)
Colussi, L.
Marchiori, E.
Publisher
Cambridge : MIT Press
ISBN
9780262510646
Number of pages
1 p.
In
Apt, K.R. (ed.), Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming JICLPS'92, Washington, DC, USA, pp. 67-85
Related links
Annotation
JICLPS 1992
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/84487   https://hdl.handle.net/2066/84487
Display more details

Upload full text

Use your RU or RadboudUMC credentials to log in with SURFconext to upload a file for processing by the repository team.