© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Evaluation of Contrasting Prolog Trace Output Formats
M.J. Patel, J.B.H. du Boulay, and C. Taylor
Cog. Sci. Research Paper 276, University of Sussex, April 1993.Bibtex Record
@techreport{1089,
author = {M.J. Patel and J.B.H. du Boulay and C. Taylor},
title = {Evaluation of {C}ontrasting {P}rolog {T}race {O}utput {F}ormats},
month = {April},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/1089},
institution = {University of Sussex},
number = {276},
other_year = {1993},
publication_type = {techreport},
submission_id = {635_965912329},
type = {Cog. Sci. Research Paper},
}