© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Continuation Compilation for Concurrent Logic Programming
B Kemp, A King, and P Soper
In A Crespo, editor, Proceedings of the Symposium on Artificial Intelligence in Real-time Control, pages 182-196. Pergamon, October 1994.Bibtex Record
@inproceedings{1327, author = {B Kemp and A King and P Soper}, title = {{Continuation Compilation for Concurrent Logic Programming}}, month = {October}, year = {1994}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1994/1327}, publication_type = {inproceedings}, submission_id = {1622_1011615744}, booktitle = {Proceedings of the Symposium on Artificial Intelligence in Real-time Control}, publisher = {Pergamon}, editor = {A Crespo}, }