© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles
S Cook
Software - Practice and Experience, 13(11):182-196, November 1983.Bibtex Record
@article{1230,
author = {S Cook},
title = {{Playing Cards on the PERQ - An Algorithm for Overlapping Rectangles}},
month = {November},
year = {1983},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1983/1230},
publication_type = {article},
submission_id = {28804_999249182},
other_year = {1983},
journal = {Software - Practice and Experience},
volume = {13},
number = {11},
}