© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Framework for Freeness Analysis
A King
, pages 182-196 Implementations of Logic Programming Systems. Kluwer Academic Publishers, Dordrecht, 1994.Bibtex Record
@inbook{1326,
author = {A King},
title = {{A Framework for Freeness Analysis}},
month = {unknown},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1326},
publication_type = {inbook},
submission_id = {1127_1011615407},
editor = {E Tick and G Succi},
publisher = {Kluwer Academic Publishers},
series = {Implementations of Logic Programming Systems},
address = {Dordrecht},
}