School of Computing

Some good ideas from the disciplinary commons

Sally Fincher, David Barnes, Pete Bibby, James Bown, Vicky Bush, Phil Campbell, Quintin Cutts, Stephan Jamieson, Tony Jenkins, and Michael Jones

In Proceedings of 7th Annual Conference of the ICS HE Academy, pages 182-196, August 2006.

Bibtex Record

@inproceedings{2449,
author = {Sally Fincher and David Barnes and Pete Bibby and James Bown and  Vicky Bush and Phil Campbell and Quintin Cutts and  Stephan Jamieson and Tony Jenkins and Michael Jones},
title = {Some Good Ideas from the Disciplinary Commons},
month = {August},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2449},
    publication_type = {inproceedings},
    submission_id = {6497_1162910286},
    booktitle = {Proceedings of 7th Annual Conference of the ICS HE Academy},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014