© University of Kent - Contact | Feedback | Legal | FOI | Cookies
DCGToProlog: A DCG to Prolog Translator
Octavian Patrascoiu
In Proceedings of the International Symposium on System Theory (ISST-00), pages 182-196, Craiova, Romania, May 2000.Bibtex Record
@inproceedings{1691,
author = {Octavian Patrascoiu},
title = {{DCGT}o{P}rolog: {A} {DCG} to {P}rolog {T}ranslator},
month = {May},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1691},
publication_type = {inproceedings},
submission_id = {25919_1063106262},
booktitle = {Proceedings of the International Symposium on System Theory (ISST-00)},
address = {Craiova, Romania},
}