© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Textual Tree Trace Notation for Prolog: An Overview
C. Taylor, J.B.H. du Boulay, and M.J. Patel
In Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming, pages 182-196, Santa Margherita Ligure, Italy, June 1994.Bibtex Record
@inproceedings{1070,
author = {C. Taylor and J.B.H. du Boulay and M.J. Patel},
title = {{T}extual {T}ree {T}race {N}otation for {P}rolog: {A}n {O}verview},
month = {June},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/1070},
address = {Santa Margherita Ligure, Italy},
booktitle = {Proc. of Post-Conf. Workshop on Logic Programming and Education, Internat. Conf. on Logic Programming},
other_year = {1994},
publication_type = {inproceedings},
refereed = {yes},
submission_id = {14199_963496671},
}