© 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}, }